public void shutdown() {
   Iterator i = servers.iterator();
   while (i.hasNext()) {
     Server server = (Server) i.next();
     server.shutdown();
   }
 }
 public void shutdown() {
   server.shutdown();
 }