static File dirOfFile(File f) {
  ret f == null ? null : f.getParentFile();
}