firePropertyChange(SELECTION_MODEL_PROPERTY_CHANGED, old, model);
firePropertyChange("selectionModel", old, model);
  public void setSelectionModel(ListSelectionModel model)  {    if (selectionModel == model)      return;        if (selectionModel != null)      selectionModel.removeListSelectionListener(listListener);        ListSelectionModel old = selectionModel;    selectionModel = model;        if (selectionModel != null)      selectionModel.addListSelectionListener(listListener);        firePropertyChange(SELECTION_MODEL_PROPERTY_CHANGED, old, model);    revalidate();    repaint();  }