From 447ff7741f68fc96366e446689ac550e0dea0ec3 Mon Sep 17 00:00:00 2001
From: henkej <joerg.henke@uni-greifswald.de>
Date: Wed, 16 Apr 2025 12:00:21 +0200
Subject: [PATCH] use workspace default jdk

---
 .classpath | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.classpath b/.classpath
index ea7f567..a425fe8 100644
--- a/.classpath
+++ b/.classpath
@@ -6,7 +6,7 @@
 			<attribute name="gradle_used_by_scope" value="main,test"/>
 		</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"/>
 	<classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
 	<classpathentry kind="output" path="bin/default"/>
 </classpath>