if (last == -1) last = 0; return path.substring(last);
return path.substring(last + 1);
  public String getName ()  {    int last = path.lastIndexOf(separatorChar);    if (last == -1)      last = 0;    return path.substring(last);  }