static S fileExtension(File f) {
  if (f == null) null;
  S s = f.getName();
  ret substring(s, smartLastIndexOf(s, '.'));
}