void (PropertyChangeEvent event) { String name = event.getPropertyName(); if (JTree.ANCHOR_SELECTION_PATH_PROPERTY.equals(name)) return; if (JTree.LEAD_SELECTION_PATH_PROPERTY.equals(name)) { updateLeadSelectionRow(); repaintPath((TreePath)event.getOldValue()); repaintPath((TreePath)event.getNewValue()); } else if (parent != null) { parent.propertyChange(event); } }