Use Java 11 as the version to use for gradle

jburel · jburel · commit e1a42aadf827 · 2026-01-07T12:17:25.000Z
diff --git a/slave/Dockerfile b/slave/Dockerfile
@@ -68,6 +68,8 @@ RUN update-alternatives --set java java-11-openjdk.x86_64
 EXPOSE 14064
 EXPOSE 14063
 
+COPY gradle.properties /home/omero/.gradle
+
 ADD ./run.sh /tmp/run.sh
 RUN chown omero:omero /tmp/run.sh
 RUN chmod a+x /tmp/run.sh
diff --git a/slave/gradle.properties b/slave/gradle.properties
@@ -0,0 +1 @@
+org.gradle.java.home=/etc/alternatives/java_sdk_11

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+org.gradle.java.home=/etc/alternatives/java_sdk_11`