entry.p0 = p0; entry.p1 = p1;
o0 = entry.p0; o1 = entry.p1;   if (o0 == n0 && o1 == n1) return;  entry.p0 = n0; entry.p1 = n1;  TextUI ui = textComponent.getUI();   if (n0 == n1) ui.damageRange(textComponent, o0, o1);  else if ((o1 > n0 && o1 <= n1) || (n1 > o0 && n1 <= o1)) {   int fds, sds; int fde, sde;   if(o0 < n0) {   fds = o0; fde = n0; } else {   fds = n0; fde = o0; }  if (o1 < n1) {   sds = o1; sde = n1; } else {   sds = n1; sde = o1; }    if (fde == sds) ui.damageRange(textComponent, fds, sde); else { if (fds != fde) ui.damageRange(textComponent, fds, fde);  if (sds != sde) ui.damageRange(textComponent, sds, sde); } } else {   ui.damageRange(textComponent, o0, o1); ui.damageRange(textComponent, 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;  }