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 ( ) ) ) ; }
translate a URL to a File Object