fireSelectionValueChanged(0, sz, valueIsAdjusting);
fireValueChanged(0, sz, valueIsAdjusting);
  public void clearSelection()  {    int sz = sel.size();    sel.clear();    fireSelectionValueChanged(0, sz, valueIsAdjusting);  }