@Override
    public void visitModule(@NotNull PsiJavaModule module) {
      checkTopLevelSemicolons(module);
      super.visitModule(module);
    }
@Override
    public void visitModule(@NotNull PsiJavaModule module)