Bump to JDK17

Fokko · Fokko · commit e4a5ad341113 · 2025-09-09T16:01:33.000+02:00
diff --git a/dev/Dockerfile b/dev/Dockerfile
@@ -21,7 +21,7 @@ RUN apt-get -qq update && \
       curl \
       vim \
       unzip \
-      openjdk-11-jdk \
+      openjdk-17-jdk \
       build-essential \
       software-properties-common \
       ssh && \
