// Shutdown the service.
// To avoid the CurrentModificationException, do not use serversList directly
Object[] servers = serversList.toArray();
for (int i = 0; i < servers.length; i++) {
Server server = (Server) servers[i];
server.destroy();
}
}
public void postShutdown() {
// Clean the serversList