Java: How to convert java.net.URL to java.io.File?

File f;
try {
  f = new File(url.toURI());
} catch(URISyntaxException e) {
  f = new File(url.getPath());
}

More detail: Kohsuke Kawaguchi's Blog