Email Gateway (Jun 04 2026 at 20:18): Email Gateway (Jun 04 2026 at 20:18):From: Makarius <makarius@sketis.net>
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
Last updated: Jun 24 2026 at 21:24 UTC