if (sel.equals(oldSel) == false) fireValueChanged(lo, hi, valueIsAdjusting);
  public void setSelectionInterval(int index0, int index1)  {    sel.clear();    if (selectionMode == SINGLE_SELECTION)      index0 = index1;    int lo = Math.min(index0, index1);    int hi = Math.max(index0, index1);    sel.set(lo, hi+1);    fireValueChanged(lo, hi, valueIsAdjusting);    // update the anchorSelectionIndex and leadSelectionIndex variables    setAnchorSelectionIndex(index0);    leadSelectionIndex=index1;  }