Enumeration enum = nodeModels.keys(); while (enum.hasMoreElements()) { String nodeName = (String) enum.nextElement();
Enumeration en = nodeModels.keys(); while (en.hasMoreElements()) { String nodeName = (String) en.nextElement();
  private void destroyOldNodes() {    Enumeration enum = nodeModels.keys();    while (enum.hasMoreElements()) {      String nodeName = (String) enum.nextElement();      NodeModel model = (NodeModel) nodeModels.get(nodeName);      if (model.getState().equals(NodeModel.STATE_STOPPED)) {        setChanged();        notifyObservers(new NodeChange(nodeName, NODE_REMOVED));        nodeModels.remove(nodeName);        nodeViews.remove(nodeName);      }    }