private static @NotNull String getNameWithoutExtension(@NotNull VirtualFile file,
                                                         @NotNull FileTypeManager fileTypeManager) {
    return getNameWithoutExtension(file.getName(), file.isCaseSensitive(), fileTypeManager);
  }
private static @NotNull String getNameWithoutExtension(@NotNull VirtualFile file,
                                                         @NotNull FileTypeManager fileTypeManager)