From 75d10b9589e28b9d9eb2123892913ae441a5fcc9 Mon Sep 17 00:00:00 2001
From: Ricardo Costa <rcosta.ms358@gmail.com>
Date: Mon, 6 Apr 2026 15:01:30 +0100
Subject: [PATCH] Fix Wildcard Imports in External Projects

---
 .../src/main/java/liquidjava/api/CommandLineLauncher.java     | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
index e473562c..b27e90b0 100644
--- a/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
+++ b/liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java
@@ -9,6 +9,7 @@
 import liquidjava.diagnostics.warnings.CustomWarning;
 import liquidjava.processor.RefinementProcessor;
 import liquidjava.processor.context.ContextHistory;
+import liquidjava.specification.Refinement;
 import spoon.Launcher;
 import spoon.compiler.Environment;
 import spoon.processing.ProcessingManager;
@@ -60,6 +61,9 @@ public static void launch(String... paths) {
 
         Environment env = launcher.getEnvironment();
         env.setNoClasspath(true);
+        env.setSourceClasspath(
+                new String[] { new File(Refinement.class.getProtectionDomain().getCodeSource().getLocation().getFile())
+                        .getAbsolutePath() });
         env.setComplianceLevel(8);
 
         boolean buildSuccess = launcher.getModelBuilder().build();