code: public static final File URLToFile(URL url) throws MalformedURLException {
  	if (!"file".equals(url.getProtocol())) throw new MalformedURLException("URL protocol must be 'file'.");
  	return new File(URIToFilename(url.getFile()));
      }
docs: translate a URL to a File Object
  
  @param url
  @return matching file object
  @throws MalformedURLException