public void propertyChange(PropertyChangeEvent pce) { ExtWindowsDesktopProperty property = (ExtWindowsDesktopProperty) get(); if (property == null) { // The property was GC'ed, we're no longer interested in // PropertyChanges, remove the listener. kit.removePropertyChangeListener(pce.getPropertyName(), this); } else { property.invalidate(); property.updateUI(); } } }