[isabelle-dev] Java 17 LTS

[Makarius]

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:
https://isabelle.sketis.net/repos/isabelle/rev/9e71155e3666


	Makarius