public HighlightEntry(int p0, int p1, Highlighter.HighlightPainter painter)
public HighlightEntry(Position p0, Position p1, Highlighter.HighlightPainter painter)
    public HighlightEntry(int p0, int p1, Highlighter.HighlightPainter painter)    {      this.p0 = p0;      this.p1 = p1;      this.painter = painter;    }