oldNodes.remove(nodeComponent);
  private void destroyOldNodes() {    Enumeration nodeComponents = oldNodes.keys();    while (nodeComponents.hasMoreElements()) {      NodeComponent nodeComponent = 	(NodeComponent)nodeComponents.nextElement();      String nodeName = nodeComponent.getShortName();      removeStatusButton(nodeName);      oldNodes.remove(nodeComponent);    }    nodeListeners.clear();    nodePanes.clear();    JInternalFrame[] frames = desktop.getAllFrames();    for (int i = 0; i < frames.length; i++) {      String s = frames[i].getTitle();      if (!s.equals("Configuration") && !s.equals("Trial Values"))        frames[i].dispose();    }  }