public void addHighlighter(int highlightStartOffset, int highlightEndOffset, TextAttributes highlightAttributes) {
    addHighlighter(highlightStartOffset, highlightEndOffset, highlightAttributes, HighlighterLayer.CONSOLE_FILTER);
  }
public void addHighlighter(int highlightStartOffset, int highlightEndOffset, TextAttributes highlightAttributes)