Revert to slightly older Eclipse release

This will ensure compatibility with Java 11.
PyvesB · Jan 1, 2024 · d512c2a · d512c2a
1 parent 87a61ec
commit d512c2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/planet-themes-targetplatform/planet-themes-targetplatform.target b/planet-themes-targetplatform/planet-themes-targetplatform.target
@@ -3,7 +3,7 @@
 <target name="planet-themes-targetplatform">
 	<locations>
 		<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
-			<repository location="https://download.eclipse.org/releases/2023-12/"/>
+			<repository location="https://download.eclipse.org/releases/2023-03/"/>
 			<unit id="org.eclipse.platform.ide" version="0.0.0"/>
 			<unit id="org.eclipse.sdk.ide" version="0.0.0"/>
 			<unit id="org.eclipse.core.runtime" version="0.0.0"/>