checkPositions(p0, p1);
int o0, o1;  checkPositions(n0, 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;  }