docs: public static String basename(File file)
    {
      if(file == null) {
        return null;
      }
      String fileName = file.getName();
      int i = fileName.lastIndexOf('.');
      return i != -1 ? fileName.substring(0, i) : fileName;
    }