Use Java 25 on Jenkins

[NotMyFault]

Let's see if I've installed this correctly...

[NotMyFault]

Edit: worked 🚀

[SirYwell]

Given we use the Gradle toolchains feature which uses Java 21, this change will only mean Gradle itself runs on Java 25, right? Would it make sense to switch to Java 25 with the toolchain directly? We set --release 21 still, so I would expect to still have Java 21 compatibility this way.

[NotMyFault]

Given we use the Gradle toolchains feature which uses Java 21, this change will only mean Gradle itself runs on Java 25, right? Would it make sense to switch to Java 25 with the toolchain directly? We set --release 21 still, so I would expect to still have Java 21 compatibility this way.

We can surely do that. The change in the Jenkinsfile solely specifies the JDK to be used during the build, and has no impact on the outcome. Although:

Configure project :
Kotlin does not yet support 25 JDK, falling back to Kotlin JVM_24 JVM

I would put that on hold for now, given it's not yet supported by Kotlin DSL.