@Override
      public void afterRemoved(@NotNull RangeHighlighterEx highlighter) {
        incErrorCount(highlighter, -1);
      }
@Override
      public void afterRemoved(@NotNull RangeHighlighterEx highlighter)