protected void tearDown() throws Exception {
   if (this.workingCopy != null) {
     this.workingCopy.discardWorkingCopy();
     this.workingCopy = null;
   }
   super.tearDown();
 }