public void changeHighlight(Object tag, int p0, int p1)
public void changeHighlight(Object tag, int n0, int n1)
  public void changeHighlight(Object tag, int p0, int p1)    throws BadLocationException  {    checkPositions(p0, p1);    HighlightEntry entry = (HighlightEntry) tag;    entry.p0 = p0;    entry.p1 = p1;  }