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