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