@Test
	@Ignore		// not supported yet, would require condition evaluation
	public void runTestExceptions3() throws IOException {
		InfoflowResults res = analyzeAPKFile("GeneralJava_Exceptions3.apk");
		Assert.assertEquals(0, res.size());
	}