/** @param node the modified node in the tree */
 public void nodeModified(Object node) {
   if (modifySet.contains(node)) {
     model.getNodeUpdater().schedule(this);
   }
   if (node == getUserObject()) {
     model.nodeChanged(this);
   }
 }
 /*
  * @see java.beans.PropertyChangeListener#propertyChange(java.beans.PropertyChangeEvent)
  */
 public void propertyChange(PropertyChangeEvent evt) {
   if (evt.getSource() instanceof Diagram) {
     if ("name".equals(evt.getPropertyName())) {
       /* The name of the UMLDiagram
        * represented by this node has changed. */
       model.nodeChanged(this);
     }
     if ("namespace".equals(evt.getPropertyName())) {
       /* TODO: Update the old and new node above this!
        * This is issue 5079.
        * The old and new UML namespaces are in the event, but
        * how do we know which nodes to refresh?
        * And how to refresh?
        * Not necessarily the namespaces,
        * depending on the perspective. */
     }
   }
 }