static HighlightInfo.Builder checkFileName(@NotNull PsiJavaModule element, @NotNull PsiFile file) {
    if (!PsiJavaModule.MODULE_INFO_FILE.equals(file.getName())) {
      String message = JavaErrorBundle.message("module.file.wrong.name");
      HighlightInfo.Builder info =
        HighlightInfo.newHighlightInfo(HighlightInfoType.ERROR).range(range(element)).descriptionAndTooltip(message);
      IntentionAction action = QuickFixFactory.getInstance().createRenameFileFix(PsiJavaModule.MODULE_INFO_FILE);
      info.registerFix(action, null, null, null, null);
      return info;
    }

    return null;
  }
static HighlightInfo.Builder checkFileName(@NotNull PsiJavaModule element, @NotNull PsiFile file)