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