603604605606607608609610611612613
public void serverStopping() { destroyed = true; } }); ClusterManager.addListener(new ClusterEventListener() { public void joinedCluster() {} public void joinedCluster(byte[] nodeID) {} public void leftCluster() {