@Test
 public void testNegativeCase5() throws Exception {
   compilationHelper
       .addSourceFile("JUnit3TestNotRunNegativeCase3.java") // needed as a dependency
       .addSourceFile("JUnit3TestNotRunNegativeCase5.java")
       .doTest();
 }
 @Test
 public void testNegativeCase() {
   compilationHelper.addSourceFile("NullablePrimitiveNegativeCases.java").doTest();
 }
 @Test
 public void testNegativeCase4() throws Exception {
   compilationHelper.addSourceFile("JUnit3TestNotRunNegativeCase4.java").doTest();
 }
 @Test
 public void testNegativeCase() throws Exception {
   compilationHelper.addSourceFile("EmptyIfStatementNegativeCases.java").doTest();
 }