[isabelle-dev] Java 15 ("zulu")

Makarius makarius at sketis.net
Thu Jan 7 14:43:04 CET 2021

With Isabelle/af54129abd9e we are using latest Java 15.

  * The provider is now azul.com (instead of adoptopenjdk.net): the "zulu"
releases cover more versions and more platforms, including current
arm64-darwin for macOS Big Sur on Apple Silicon.

  * Azul call Java 15 "MTS" (medium term support), in contrast to official
Java 11 "LTS" (long term support). Lets see how it works within the coming
weeks; in the worst case we can return to Java 11 from azul.com.

  * The Isabelle jdk component requires now 1.5 GB total, for all our 5
supported platforms.

  * The macOS app bundle requires 1.0 GB total, which includes 600 MB for
jdk-15 arm64-darwin and x86_64-darwin.

  * The full-screen problem on Big Sur is still open, see also

  * The JTabbedPane problem on Big Sur is still open, see also

If there are further Big Sur problems, we should at least collect them properly.


More information about the isabelle-dev mailing list