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

    createJavaProject("P");
    createFile("P/X.java", "public class X {\n" + "}");
  }
  public void tearDownSuite() throws Exception {
    deleteProject("P");

    super.tearDownSuite();
  }
  protected void tearDown() throws Exception {
    // Put back default options
    JavaCore.setOptions(JavaCore.getDefaultOptions());

    super.tearDown();
  }