Enumeration nodeComponents = runningNodes.keys();
Enumeration nodeComponents; synchronized (runningNodesLock) { nodeComponents = runningNodes.keys(); }
  private void stopAllNodes() {    // set a flag indicating that we're stopping the trial    stopping = true;    Enumeration nodeComponents = runningNodes.keys();    while (nodeComponents.hasMoreElements()) {      NodeComponent nodeComponent = 	(NodeComponent)nodeComponents.nextElement();      NodeServesClient nsc = (NodeServesClient)runningNodes.get(nodeComponent);      String nodeName = nodeComponent.getShortName();      if (nsc == null) {        System.err.println("Unknown node name: " + nodeName);	continue;      }      try {        nsc.flushNodeEvents();        nsc.destroy();      } catch (Exception ex) {        System.err.println("Unable to destroy node, assuming it's dead: " + ex);        nodeStopped(nodeComponent);        getNodeStatusButton(nodeComponent.getShortName()).setStatus(NodeStatusButton.STATUS_NO_ANSWER);      }    }  }