docs: public static String getFilenameExtension(String name) {
      if(name == null) {
        return null;
      }
      int index = name.lastIndexOf('.');
      return index < 0 ? null : name.substring(index + 1).toLowerCase();
    }