From makarius at sketis.net Tue Jun 2 21:10:55 2026 From: makarius at sketis.net (Makarius) Date: Tue, 2 Jun 2026 21:10:55 +0200 Subject: Update to jdk-21.0.11 --- second attempt! Message-ID: <3998f703-8a7d-4fd7-886c-808b9b1575ee@sketis.net> With Isabelle/895b651beabb we are on jdk-21.0.11, which alone is not very exciting: it is a routine update by Azul. Two details are notable, though: (1) The Windows version has been built from sources, after applying a small patch (jdk-21.0.11/x86_64-windows.patch) to improve accessibility. This is the first time we build JDK from scratch for Isabelle. It turned out actually quite simple, much simpler than building VSCodium, for example. So this might encourage more patches in the future, also for other platforms. (2) The macOS version was broken in the first attempt, and instead of duplicating 1 GiB tar.gz / 1.7 GiB directory content, I have replaced the bad version non-monotonically. This can lead to confusion, if someone happened to run Admin/init or "isabelle components -a" within a time-window of approx. 2-3h before 21:00 Royal Bavarian Time. In that case, local $HOME/.isabelle/contrib/jdk-21.0.11 and the corresponding .tar.gz need to be deleted, and Admin/init run again. Makarius From makarius at sketis.net Tue Jun 2 21:32:16 2026 From: makarius at sketis.net (Makarius) Date: Tue, 2 Jun 2026 21:32:16 +0200 Subject: Update to jdk-21.0.11 --- second attempt! In-Reply-To: <3998f703-8a7d-4fd7-886c-808b9b1575ee@sketis.net> References: <3998f703-8a7d-4fd7-886c-808b9b1575ee@sketis.net> Message-ID: 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. After scala-3.3.4 there is a problem with inner Java classes that are extended/redefined in Scala. I have submitted a ticket in Nov-2025 https://github.com/scala/scala3/issues/24507 --- that is still awaiting to be shipped in a proper LTS release. The last one is scala-3.3.7 from 13-Oct-2025. Makarius From makarius at sketis.net Thu Jun 4 22:07:32 2026 From: makarius at sketis.net (Makarius) Date: Thu, 4 Jun 2026 22:07:32 +0200 Subject: Update to jdk-25.0.3 In-Reply-To: References: <3998f703-8a7d-4fd7-886c-808b9b1575ee@sketis.net> Message-ID: <3391ab01-f9e1-491b-aa0b-ecaadec59478@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