import java.nio.file.Path;

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