static File urlToFile(URL url) ctex {
  ret url == null ?: new File(url.toURI());
}