Fix Test

rcosta358 · rcosta358 · commit 1c9644ce1f20 · 2026-05-06T16:27:09.000+01:00
diff --git a/liquidjava-example/src/main/java/testSuite/classes/missing_import_final_error/ClassNoImport.java b/liquidjava-example/src/main/java/testSuite/classes/missing_import_final_error/ClassNoImport.java
@@ -7,7 +7,7 @@ public class ClassNoImport {
 
     // No import for javax.imageio.ImageWriteParam in this file — the verifier
     // should suggest it because Helper.java already imports it.
-    static void requireExplicit(@Refinement("_ == ImageWriteParam.MODE_EXPLICIT") int mode) { // Error
+    static void requireExplicit(@Refinement("_ == ImageWriteParam.MODE_EXPLICIT") int mode) { // Not Found Error
     }
 
     public static void main(String[] args) {

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ public class ClassNoImport {`
`7`	`7`
`8`	`8`	`// No import for javax.imageio.ImageWriteParam in this file — the verifier`
`9`	`9`	`// should suggest it because Helper.java already imports it.`
`10`		`- static void requireExplicit(@Refinement("_ == ImageWriteParam.MODE_EXPLICIT") int mode) { // Error`
	`10`	`+ static void requireExplicit(@Refinement("_ == ImageWriteParam.MODE_EXPLICIT") int mode) { // Not Found Error`
`11`	`11`	`}`
`12`	`12`
`13`	`13`	`public static void main(String[] args) {`