HighlightEntry entry = (HighlightEntry) tag; textComponent.getUI().damageRange(textComponent, entry.p0, entry.p1);
  public void removeHighlight(Object tag)  {    highlights.remove(tag);    HighlightEntry entry = (HighlightEntry) tag;    textComponent.getUI().damageRange(textComponent,                                      entry.p0,                                      entry.p1);  }