if (sel.equals(oldSel) == false)
  public void removeSelectionInterval(int index0,                                      int index1)  {    int lo = Math.min(index0, index1);    int hi = Math.max(index0, index1);    sel.clear(lo, hi+1);     //update anchorSelectionIndex and leadSelectionIndex variables    //TODO: will probably need MouseDragged to test properly and know if this works    setAnchorSelectionIndex(index0);    leadSelectionIndex = index1;    fireValueChanged(lo, hi, valueIsAdjusting);  }