From 096b3d92c834eda040ec464dde235291e8f18d2f Mon Sep 17 00:00:00 2001
From: Mark Paluch <mark.paluch@broadcom.com>
Date: Fri, 13 Jun 2025 14:41:01 +0200
Subject: [PATCH] Run Devtools on Java 17.

Closes #65
---
 ci/java-tools.properties | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ci/java-tools.properties b/ci/java-tools.properties
index 84310a2..d7e0ac7 100644
--- a/ci/java-tools.properties
+++ b/ci/java-tools.properties
@@ -1,3 +1,4 @@
 # Tool requirements
-jdks=24.0.1,17.0.15,8.0.382
+# Version listed last will be used as default
+jdks=8.0.382,24.0.1,17.0.15
 maven=3.9.9