protected @NotNull HighlightInfoHolder createInfoHolder(@NotNull PsiFile file) {
    HighlightInfoFilter[] filters = HighlightInfoFilter.EXTENSION_POINT_NAME.getExtensionList().toArray(HighlightInfoFilter.EMPTY_ARRAY);
    EditorColorsScheme actualScheme = getColorsScheme() == null ? EditorColorsManager.getInstance().getGlobalScheme() : getColorsScheme();
    HighlightInfoHolder holder = new HighlightInfoHolder(file, filters) {
      @Override
      public @NotNull TextAttributesScheme getColorsScheme() {
        return actualScheme;
      }

      @Override
      public boolean add(@Nullable HighlightInfo info) {
        boolean added;
        synchronized (this) {
          added = super.add(info);
        }
        if (info != null && added && info.getSeverity() == HighlightSeverity.ERROR) {
          myHasErrorSeverity = true;
        }
        return added;
      }
    };
    setupAnnotationSession(holder.getAnnotationSession(), myPriorityRange, myRestrictRange,
                           ((HighlightingSessionImpl)getHighlightingSession()).getMinimumSeverity());
    return holder;
  }
protected @NotNull HighlightInfoHolder createInfoHolder(@NotNull PsiFile file)