From 04c61920f25512955abc160a81281bae9bcafb49 Mon Sep 17 00:00:00 2001
From: Mark Paluch <mark.paluch@broadcom.com>
Date: Tue, 17 Jun 2025 09:59:45 +0200
Subject: [PATCH] Docker ping

---
 ci/java-tools.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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