Fix 443477: remove pre-init from cflow to avoid verify error on jdk 1.7 later updates

2 files changed, 7 insertions, 4 deletions

diff --git a/tests/bugs183/443477/Coo.java b/tests/bugs183/443477/Coo.java
index 7b514f3ba..3362f5024 100644
--- a/tests/bugs183/443477/Coo.java
+++ b/tests/bugs183/443477/Coo.java
@@ -1,12 +1,15 @@
 public class Coo {
 	Coo() {	
 	}
+
+  int i = 4;
+  
 	
 	public static void main(String[] args) {
 	}
 }
 
 aspect Azpect {
-    before(): !cflow(preinitialization(Coo.new(..))) && execution(* main(..)) {  }
+  before(): !cflow(preinitialization(Coo.new(..))) && execution(* main(..)) {  }
 }
 
diff --git a/tests/src/org/aspectj/systemtest/ajc183/Ajc183Tests.java b/tests/src/org/aspectj/systemtest/ajc183/Ajc183Tests.java
index 412fc00eb..8f1a6ccac 100644
--- a/tests/src/org/aspectj/systemtest/ajc183/Ajc183Tests.java
+++ b/tests/src/org/aspectj/systemtest/ajc183/Ajc183Tests.java
@@ -65,9 +65,9 @@ public class Ajc183Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
 		runTest("abstract aspect npe");
 	}
 	
-//	public void testVerifyError_443447() {
-//		runTest("verifyerror");
-//	}
+	public void testVerifyError_443447() {
+		runTest("verifyerror");
+	}
 //	
 //	public void testAnnoStyleDecp_442425() {
 //		runTest("anno style decp");