static File urlToFile(S url) ctex {
  ret urlToFile(new URL(url));
}

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