From 6c46678014db6102b2e93a7b448d161be1a914d5 Mon Sep 17 00:00:00 2001
From: benoitgaudou <benoit.gaudou@gmail.com>
Date: Wed, 9 Mar 2022 11:43:41 +0100
Subject: [PATCH] change  the classpath, so that headless uses the default Java
 version of the workspace

---
 msi.gama.headless/.classpath | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/msi.gama.headless/.classpath b/msi.gama.headless/.classpath
index 852378f74e..2f7f5d6656 100644
--- a/msi.gama.headless/.classpath
+++ b/msi.gama.headless/.classpath
@@ -6,7 +6,7 @@
 			<attribute name="optional" value="true"/>
 		</attributes>
 	</classpathentry>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17">
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>