docs: public static String getNameWithoutExtension(String file) {
      checkNotNull(file);
      String fileName = new File(file).getName();
      int dotIndex = fileName.lastIndexOf('.');
      return (dotIndex == -1) ? fileName : fileName.substring(0, dotIndex);
    }