Update to jdk-25.0.3

[Makarius]

On 02/06/2026 21:32, Makarius wrote:
> On 02/06/2026 21:10, Makarius wrote:
>> With Isabelle/895b651beabb we are on jdk-21.0.11, which alone is not very 
>> exciting: it is a routine update by Azul.
> 
> Another side-remark: We are still on the old JDK 21 LTS branch because we are 
> stuck with an old Scala LTS version scala-3.3.4 from Sep-2024 that has not 
> been adapted to newer JDK versions yet, like the current JDK 25 LTS.

I have looked very closely what the problems of scala-3.3.4 with jdk-25 
actually were, and found workarounds.

So with Isabelle/4b7e3abdf3ba we are on jdk-25.0.3: this is a major change, 
but usually Java updates work properly in the end --- after some further 
tweaking of options and properties.


	Makarius