@Override
  public void visitModule(@NotNull PsiJavaModule module) {
    super.visitModule(module);
    if (!hasErrorResults()) add(checkFeature(module, JavaFeature.MODULES));
    if (!hasErrorResults()) add(ModuleHighlightUtil.checkFileName(module, myFile));
    if (!hasErrorResults()) add(ModuleHighlightUtil.checkFileDuplicates(module, myFile));
    if (!hasErrorResults()) ModuleHighlightUtil.checkDuplicateStatements(module, myErrorSink);
    if (!hasErrorResults()) add(ModuleHighlightUtil.checkClashingReads(module));
    if (!hasErrorResults()) ModuleHighlightUtil.checkUnusedServices(module, myFile, myErrorSink);
    if (!hasErrorResults()) add(ModuleHighlightUtil.checkFileLocation(module, myFile));
  }
@Override
  public void visitModule(@NotNull PsiJavaModule module)