TestCleaner BranchVerifier BooleanVerifier HybridVerifier 

@After public void afterTest(){
  if (m_document != null) {
    assertTrue("closing the test document failed",m_document.close());
    m_document=null;
  }
}