code: @Deprecated
      public URL toURL() throws java.net.MalformedURLException {
          String name = getAbsoluteName();
          if (!name.startsWith("/")) {
              // start with sep.
              return new URL("file", "", -1, "/" + name, null);
          } else if (name.startsWith("//")) {
              return new URL("file:" + name); // UNC path
          }
          return new URL("file", "", -1, name, null);
      }
docs: Returns a Uniform Resource Locator for this file. The URL is system
  dependent and may not be transferable between different operating / file
  systems.
  
  @return a URL for this file.
  @throws java.net.MalformedURLException
  if the path cannot be transformed into a URL.
  @deprecated Use {@link #toURI} and {@link java.net.URI#toURL} to
  correctly escape illegal characters.