@Override
      public void errorMarkerChanged(@NotNull ErrorStripeEvent e) {
        errorStripeMarkerChanged((RangeHighlighterEx)e.getHighlighter());
      }
@Override
      public void errorMarkerChanged(@NotNull ErrorStripeEvent e)