static S fileExtensionWithoutDot(File f) {
  ret f == null ? null : fileExtensionWithoutDot(f.getName());
}

static S fileExtensionWithoutDot(S s) {
  ret substring(s, smartLastIndexOf(s, '.')+1);
}