Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Java 17 LTS


view this post on Zulip Email Gateway (Sep 22 2021 at 21:05):

From: Makarius <makarius@sketis.net>
Official Java 17 LTS has been released on 15-Sep-2021, see also
https://docs.azul.com/core/zulu-openjdk/release-notes/17-ga

Isabelle/2a3fe3489bae uses the corresponding jdk-17+35 component. So far it
looks good (for Linux, Windows, macOS), but there might be some fine points
still to be addressed.

One such fine point is the bootstrap of old components in
Isabelle/41d009462d3c: both launch4j and jedit require the old Java 11 LTS
release, but end-users should not notice anything.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Sep 23 2021 at 09:58):

From: Makarius <makarius@sketis.net>
Another problem is the JVM monitor: it accesses private Sun modules that are
no longer accessible in Java 17.

I need to study the situation to figure out workarounds or alternatives (e.g.
a different monitor tool).

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Sep 23 2021 at 10:05):

From: Martin Desharnais <martin.desharnais@posteo.de>
Hi Makarius,

I had a similar sounding problem in another project in the past when
updating to openjdk-16. In my case, the problem came from JEP 396
(Strongly Encapsulate JDK Internals by Default) [1]. The "Description"
section describes how one may specify "--illegal-access=permit" at java
launch to re-enable access to these internals. In my case, that solved
the problem.

Maybe something similar is happening with the JVM monitor?

Cheers,
Martin

[1]: https://openjdk.java.net/jeps/396


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Sep 24 2021 at 11:48):

From: Makarius <makarius@sketis.net>
This is going in the right direction, but is no longer sufficient for Java 17.
The relevant JEP 403 is here: https://openjdk.java.net/jeps/403

The text refers to --add-opens in a rather implicit and obsure manner. I've
found examples elsewhere and now did it like this:
https://isabelle.sketis.net/repos/isabelle/rev/9e71155e3666

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC