[isabelle-dev] Java 17 LTS

Makarius makarius at sketis.net
Fri Sep 24 13:48:31 CEST 2021

On 23/09/2021 12:05, Martin Desharnais wrote:
> Hi Makarius,
>> 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).
> 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.

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:


More information about the isabelle-dev mailing list