static File dirOfFile_orDot(File f) {
  if (f == null) null;
  File dir = f.getParentFile();
  ret dir != null ? dir : newFile(".");
}