@Test
	@Ignore		// not supported yet in FlowDroid
	public void runTestStaticInitialization1() throws IOException {
		InfoflowResults res = analyzeAPKFile("GeneralJava_StaticInitialization1.apk");
		Assert.assertEquals(1, res.size());
	}