return path.compareTo(other.path) == 0;
if (caseSensitive) return (path.equals(other.path)); else return (path.equalsIgnoreCase(other.path));
  public boolean equals (Object obj)  {    if (! (obj instanceof File))      return false;    File other = (File) obj;    return path.compareTo(other.path) == 0;  }