public static void clearHighlightingSession(@NotNull DaemonProgressIndicator progressIndicator, @NotNull PsiFile psiFile) {
    Map<PsiFile, HighlightingSession> map = progressIndicator.getUserData(HIGHLIGHTING_SESSION);
    if (map != null) {
      boolean removed = map.remove(psiFile) != null;
      if (LOG.isTraceEnabled()) {
        LOG.trace("HighlightingSessionImpl.clearHighlightingSession("+psiFile.getVirtualFile()+")="+removed+"; "+map.size()+" remain");
      }
    }
  }
public static void clearHighlightingSession(@NotNull DaemonProgressIndicator progressIndicator, @NotNull PsiFile psiFile)