@Override
  public RangeHighlighter @NotNull [] getAllHighlighters() {
    List<RangeHighlighter> list = ContainerUtil.filter(myDelegate.getAllHighlighters(), IS_AVAILABLE);
    return list.toArray(RangeHighlighter.EMPTY_ARRAY);
  }
@Override
  public RangeHighlighter @NotNull [] getAllHighlighters()