nameServerHostName + ":8888:5555");
nameServerHostName + ":" + CSMARTConsole.NAME_SERVER_PORTS);
  private void setNameServerHostName() {    String newNameServerHostName = "";    HostComponent[] hosts = experiment.getHosts();    for (int i = 0; i < hosts.length; i++) {      NodeComponent[] nodes = hosts[i].getNodes();      for (int j = 0; j < nodes.length; j++) {	AgentComponent[] agents = nodes[j].getAgents();	// skip nodes that have no agents	if (agents == null || agents.length == 0)	  continue;        newNameServerHostName = hosts[i].getShortName();        break;      }    }    // set new server host name in all nodes    nameServerHostName = newNameServerHostName;    NodeComponent[] nodes = experiment.getNodes();    for (int i = 0; i < nodes.length; i++) {      NodeComponent node = nodes[i];      Properties arguments = node.getArguments();      arguments.setProperty("org.cougaar.name.server",                            nameServerHostName + ":8888:5555");      node.setArguments(arguments);    }  }