@Override
      protected void visitProblemSeverities(@NotNull Object2IntMap<HighlightDisplayLevel> counter) {
        // do nothing
      }
@Override
      protected void visitProblemSeverities(@NotNull Object2IntMap<HighlightDisplayLevel> counter)