@Test
public void onClose() {

    // Reset the mocks to check for interactions caused by explicit invocation of onClose(). onClose()
    // is implicitly called by setContent(...) which is called by the base tests @Before method.
    reset(dtPresenter,
          lockManager);
    dtPresenter.onClose();
    verify(dtPresenter,
           times(1)).terminateAnalysis();
    verify(lockManager,
           times(1)).releaseLock();
    verify(oracleFactory,
           times(1)).destroy(eq(oracle));
}