void (PropertyChangeEvent evt) { updateSelection(table); if (evt.getOldValue() != null) { ((TableModel)evt.getOldValue()).removeTableModelListener(modelListener); } if (evt.getNewValue() != null) { ((TableModel)evt.getNewValue()).addTableModelListener(modelListener); } }