5556575859606162636465
if (!module.finished()) assertFailure(); manager.terminate(); manager.initialize(); module = new DummyRecoveryModule(); if (module.finished()) assertFailure();