protected void tearDown() throws Exception {
   W4TFixture.tearDown();
   W4TFixture.removeContext();
 }