* Used as index into a list.
*/
public String abortFServer(int serverNumber) {
FServer server = getFServer(serverNumber);
LOG.info("Aborting " + server.toString());
server.abort("Aborting for tests", new Exception("Trace info"));
return server.toString();
}
/**
* Shut down the specified entityGroup server cleanly