static Path toPath(File f) {
  ret f == null ? null : f.toPath();
}