manager(0).stop();
TestingUtil.blockUntilViewsReceived(30000, false, manager(1), manager(2));
// Wait for the GET_STATUS command and stop node 3 abruptly
int viewId = manager(1).getTransport().getViewId();
checkpoint.awaitStrict("GET_STATUS_" + viewId, 10, TimeUnit.SECONDS);
d3.setDiscardAll(true);
manager(2).stop();
TestingUtil.blockUntilViewsReceived(30000, false, manager(1));
checkpoint.trigger("3 left");