public @NotNull RangeHighlighter @NotNull [] getHighlighters(@NotNull Editor editor) {
    Set<RangeHighlighter> highlighters = getEditorHighlighters(editor, false);
    if (highlighters == null) return RangeHighlighter.EMPTY_ARRAY;
    return highlighters.toArray(RangeHighlighter.EMPTY_ARRAY);
  }
public @NotNull RangeHighlighter @NotNull [] getHighlighters(@NotNull Editor editor)