@Override
  protected void applyInformationWithProgress() {
    ((HighlightingSessionImpl)getHighlightingSession()).applyFileLevelHighlightsRequests();
    getFile().putUserData(HAS_ERROR_ELEMENT, myHasErrorElement);
  }
@Override
  protected void applyInformationWithProgress()