if (last == 0 && path.charAt (0) == '/') ++last;
  public String getParent ()  {    int last = path.lastIndexOf(separatorChar);    if (last == -1)      return null;    return path.substring(0, last);  }