skip tests using flexible constructor bodies below 25

Author: stephan-herrmann

org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/InitializationTests.java

@@ -514,6 +514,8 @@ public WrongNotInitialized() {
 	});
 }
 public void testIssue4416_withPrologue() {
+	if (this.complianceLevel < ClassFileConstants.JDK25)
+		return; // uses flexible constructor bodies
 	runConformTest(new String[] {
 			"WrongNotInitialized.java",
 			"""
@@ -559,6 +561,8 @@ public class Test {
 	});
 }
 public void testIssue4416b_withPrologue() {
+	if (this.complianceLevel < ClassFileConstants.JDK25)
+		return; // uses flexible constructor bodies
 	runConformTest(new String[] {
 			"Test.java",
 			"""
@@ -601,8 +605,8 @@ public TestRecord(int b)
 	});
 }
 public void testIssue4416c_withPrologue() {
-	if (this.complianceLevel < ClassFileConstants.JDK16)
-		return;
+	if (this.complianceLevel < ClassFileConstants.JDK25)
+		return; // uses flexible constructor bodies
 	runConformTest(new String[] {
 			"TestRecord.java",
 			"""
@@ -643,6 +647,8 @@ public class Test {
 //https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4416
 //Bogus error: The blank final field o may not have been initialized
 public void testIssue4416d_withPrologue() {
+	if (this.complianceLevel < ClassFileConstants.JDK25)
+		return; // uses flexible constructor bodies
 	runConformTest(new String[] {
 			"Test.java",
 			"""