}
  public void addSelectionInterval(int index0, int index1)   {    if (selectionMode == SINGLE_SELECTION        || selectionMode == SINGLE_INTERVAL_SELECTION)      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);  }