void (PropertyChangeEvent evt) { updateSelection(tree); if (evt.getOldValue() != null) { ((TreeModel)evt.getOldValue()).removeTreeModelListener(modelListener); } if (evt.getNewValue() != null) { ((TreeModel)evt.getNewValue()).addTreeModelListener(modelListener); } }