[isabelle-dev] Java 17 LTS
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) . 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