clear range highlighters from the editor just highlighted semi-leaking via the daemon->progress indicator->session user data->editor color scheme->editor->highlighters

platform/analysis-impl/src/com/intellij/codeInsight/daemon/impl/HighlightingSessionImpl.java

@@ -156,4 +156,8 @@ public class HighlightingSessionImpl implements HighlightingSession {
     ApplicationManager.getApplication().assertIsDispatchThread();
     myEDTQueue.drain();
   }
+
+  static void clearProgressIndicator(@NotNull DaemonProgressIndicator indicator) {
+    indicator.putUserData(HIGHLIGHTING_SESSION, null);
+  }
 }

platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/DaemonCodeAnalyzerImpl.java

@@ -891,6 +891,7 @@ public class DaemonCodeAnalyzerImpl extends DaemonCodeAnalyzerEx implements Pers
       public void stopIfRunning() {
         super.stopIfRunning();
         myProject.getMessageBus().syncPublisher(DAEMON_EVENT_TOPIC).daemonFinished();
+        HighlightingSessionImpl.clearProgressIndicator(this);
       }
     };
     progress.setModalityProgress(null);