public void testFailureDetectionRule() {
SUPERVISOR sva=(SUPERVISOR)a.getProtocolStack().findProtocol(SUPERVISOR.class);
sva.installRule(500, new RestartFailureDetector());
SUPERVISOR svb=(SUPERVISOR)b.getProtocolStack().findProtocol(SUPERVISOR.class);
svb.installRule(500, new RestartFailureDetector());
assertFailureDetectorRunning(a, b);
System.out.println("stopping failure detection, waiting for failure detection restart rule to restart failure detection");
stopFailureDetection(a, b);