ci: build with Java 25#4964

joschi wants to merge 2 commits intorelease/4.2.xdropwizard/metrics:release/4.2.xfrom

java-25-4.2.xdropwizard/metrics:java-25-4.2.xCopy head branch name to clipboard