Test under Java 25

[mernst]

Pull from master after #7130 is merged.

[mernst]

@smillst Could you take a look at this?

[smillst]

Thanks. I changed the test scripts to run Gradle with JDK 21 and so now we need to set the jdkTestVersion to the jdk version we wish to test. I added a comment explaining this.

[mernst]

@smillst Can you take a look at the (currently commented out) misc_jdk11 job to see whether it is possible to reinstate?
Here is the error: https://dev.azure.com/checkerframework/checkerframework/_build/results?buildId=18357&view=logs&j=4b19ccca-7d7d-5749-26de-b87349fba2b4&t=4dba1f6c-8e7b-5172-04db-4dd554c55b12

[smillst]

@smillst Can you take a look at the (currently commented out) misc_jdk11 job to see whether it is possible to reinstate? Here is the error: https://dev.azure.com/checkerframework/checkerframework/_build/results?buildId=18357&view=logs&j=4b19ccca-7d7d-5749-26de-b87349fba2b4&t=4dba1f6c-8e7b-5172-04db-4dd554c55b12

I've fixed this and I reinstated the misc_jdk11 job.

[mernst]

@smillst please review and enable auto-merge. Thanks!