return new URL ("file: + (isDirectory() ? "/" : ""));
if (separatorChar == '\\') return new URL ("file:/" + getAbsolutePath ().replace ('\\', '/') + (isDirectory() ? "/" : "")); else return new URL ("file:" + getAbsolutePath () + (isDirectory() ? "/" : ""));
  public URL toURL () throws MalformedURLException  {    return new URL ("file://" + getAbsolutePath ()		    + (isDirectory() ? "/" : ""));  }