Removed silent catch blocks.

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/AllTests.java

@@ -29,39 +29,33 @@ import com.ibm.wala.util.CancelException;
 	Test13.class, Test14.class, Test15.class, Test16.class,
 	Test17.class, Test18.class, Test19.class
 	})
-public class AllTests {
+public class AllTests {	
 	
 	protected static ICFGSupergraph superGraph = null;
+	private  static final String testProject="eu.aniketos.dasca.dataflow.test.data";
 	
 	@BeforeClass
-	public static void init(){
+	public static void init() throws IllegalArgumentException, CancelException, IOException, CoreException {
 		IJavaProject javaProject = null;
 		IProject[] projects = ResourcesPlugin.getWorkspace().getRoot().getProjects();
+		
 		for (IProject project : projects) {
 			try {
 				project.open(null /* IProgressMonitor */);
 			} catch (CoreException e) {
-				e.printStackTrace();
-			}
+				e.printStackTrace();			}
 			IJavaProject javaProjectintern = JavaCore.create(project);
-			if(javaProjectintern.getElementName().equals("eu.aniketos.dasca.dataflow")){
+			if(javaProjectintern.getElementName().toString().equals(testProject)){
 				javaProject = javaProjectintern;
 			}
 		}
-		try {
-			JDTJavaSourceAnalysisEngine engine = PlugInUtil.createEngine(javaProject);
-			CallGraph cg = engine.buildDefaultCallGraph();
+		System.err.println(""+javaProject.getElementName());
+		assert javaProject != null : "Project >>"+testProject+"<< not found.";
+			
+		JDTJavaSourceAnalysisEngine engine = PlugInUtil.createEngine(javaProject);
+		CallGraph cg = engine.buildDefaultCallGraph();
 
-			AnalysisCache ac = new AnalysisCache();
-			superGraph = ICFGSupergraph.make(cg, ac);
-		} catch (IllegalArgumentException e) {
-			e.printStackTrace();
-		} catch (IOException e) {
-			e.printStackTrace();
-		} catch (CoreException e) {
-			e.printStackTrace();
-		} catch (CancelException e) {
-			e.printStackTrace();
-		}
-	}
+		AnalysisCache ac = new AnalysisCache();
+		superGraph = ICFGSupergraph.make(cg, ac);
+	} 
 }

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test01.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test01 {
@@ -21,7 +26,7 @@ public class Test01 {
     String entryClass = "Test01";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test01 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test01 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test02.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test02 {
@@ -21,7 +26,7 @@ public class Test02 {
     String entryClass = "Test02";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test02 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test02 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test03.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test03 {
@@ -21,7 +26,7 @@ public class Test03 {
     String entryClass = "Test03";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test03 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test04.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test04 {
@@ -21,7 +26,7 @@ public class Test04 {
     String entryClass = "Test04";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test04 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test05.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test05 {
@@ -21,7 +26,7 @@ public class Test05 {
     String entryClass = "Test05";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test05 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test07.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test07 {
@@ -21,7 +26,7 @@ public class Test07 {
     String entryClass = "Test07";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test07 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test08.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test08 {
@@ -21,7 +26,7 @@ public class Test08 {
     String entryClass = "Test08";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test08 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test08 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);
@@ -45,7 +50,7 @@ public class Test08 {
     }
 
     @Test
-    public void testGood03() {
+    public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test09.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test09 {
@@ -21,7 +26,7 @@ public class Test09 {
     String entryClass = "Test09";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test09 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test09 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);
@@ -45,7 +50,7 @@ public class Test09 {
     }
 
     @Test
-    public void testGood03() {
+    public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test10.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test10 {
@@ -21,7 +26,7 @@ public class Test10 {
     String entryClass = "Test10";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test10 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test10 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);
@@ -45,7 +50,7 @@ public class Test10 {
     }
 
     @Test
-    public void testGood03() {
+    public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test11.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test11 {
@@ -21,7 +26,7 @@ public class Test11 {
     String entryClass = "Test11";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test11 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test11 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);
@@ -45,7 +50,7 @@ public class Test11 {
     }
 
     @Test
-    public void testGood03() {
+    public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03");
         assertEquals(0, result);
@@ -53,7 +58,7 @@ public class Test11 {
     }
 
     @Test
-    public void testGood04() {
+    public void testGood04() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good04");
         assertEquals(0, result);
@@ -61,7 +66,7 @@ public class Test11 {
     }
 
     @Test
-    public void testGood05() {
+    public void testGood05() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good05");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test12.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test12 {
@@ -21,7 +26,7 @@ public class Test12 {
     String entryClass = "Test12";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test12 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test13.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test13 {
@@ -21,7 +26,7 @@ public class Test13 {
     String entryClass = "Test13";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test13 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test13 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test14.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test14 {
@@ -21,7 +26,7 @@ public class Test14 {
     String entryClass = "Test14";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test14 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test14 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test15.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test15 {
@@ -21,7 +26,7 @@ public class Test15 {
     String entryClass = "Test15";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);
@@ -29,7 +34,7 @@ public class Test15 {
     }
 
     @Test
-    public void testGood01() {
+    public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01");
         assertEquals(0, result);
@@ -37,7 +42,7 @@ public class Test15 {
     }
 
     @Test
-    public void testGood02() {
+    public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02");
         assertEquals(0, result);
@@ -45,7 +50,7 @@ public class Test15 {
     }
 
     @Test
-    public void testGood03() {
+    public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03");
         assertEquals(0, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test16.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test16 {
@@ -21,7 +26,7 @@ public class Test16 {
     String entryClass = "Test16";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test17.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test17 {
@@ -21,7 +26,7 @@ public class Test17 {
     String entryClass = "Test17";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(2, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test18.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test18 {
@@ -21,7 +26,7 @@ public class Test18 {
     String entryClass = "Test18";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(1, result);

src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test19.java

@@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test;
 
 import static org.junit.Assert.assertEquals;
 
+import java.io.IOException;
+
+import org.eclipse.core.runtime.CoreException;
 import org.junit.Test;
 
+import com.ibm.wala.util.CancelException;
+
 import eu.aniketos.dasca.dataflow.util.SuperGraphUtil;
 
 public class Test19 {
@@ -21,7 +26,7 @@ public class Test19 {
     String entryClass = "Test19";
 
     @Test
-    public void testBad() {
+    public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException {
         AllTests.init();
         int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad");
         assertEquals(2, result);