if (model == null)
if (s == null)
  public void setSelectionModel (ListSelectionModel model)  {    if (model == null)      throw new IllegalArgumentException();    // FIXME: Should we deregister from old model ?        selectionModel = model;    selectionModel.addListSelectionListener(this);  }