model.listenerList = new EventListenerList();
  public Object clone()    throws CloneNotSupportedException  {    DefaultListSelectionModel model =      (DefaultListSelectionModel) super.clone();    model.sel = (BitSet) sel.clone();    return model;  }