Enable JDK 25 builds#521

uhafner merged 9 commits intomainjenkinsci/coverage-plugin:mainfrom

jdk25jenkinsci/coverage-plugin:jdk25Copy head branch name to clipboard