@Override
  protected void progressIsAdvanced(@NotNull HighlightingSession session, Editor editor, double progress) {
    repaintTrafficIcon(session.getPsiFile(), editor, progress);
  }
@Override
  protected void progressIsAdvanced(@NotNull HighlightingSession session, Editor editor, double progress)