From dbb28c177e073d0912a601b67bf64b8b9f2b04d4 Mon Sep 17 00:00:00 2001
From: Mark Paluch <mark.paluch@broadcom.com>
Date: Thu, 8 Aug 2024 10:20:57 +0200
Subject: [PATCH] Upgrade to JDK 17.0.12 and Maven 3.9.8.

Closes #93
---
 ci/java-tools.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/java-tools.properties b/ci/java-tools.properties
index e462291..7bed43d 100644
--- a/ci/java-tools.properties
+++ b/ci/java-tools.properties
@@ -1,3 +1,3 @@
 # Tool requirements
-jdks=17.0.9,17.0.8,8.0.382
-maven=3.9.6
+jdks=17.0.12,8.0.382
+maven=3.9.8