static File urlToFile(URL url) {
  ret new File(url.toURI());
}