[isabelle] Isabelle2019-RC1 Mac OS startup warning



Dear all,

>> A fairly stable Isabelle2019-RC1 is now available from
>> https://isabelle.in.tum.de/website-Isabelle2019-RC1 -- it corresponds to
>> AFP/d50417d0ae64 (e.g. see
>> https://isabelle.sketis.net/repos/afp-devel/rev/d50417d0ae64).

when starting Isabelle2019-RC1 on Mac OS (10.14.4) with an empty
~/.isabelle/Isabelle2019-RC1 directory via

isabelle jedit

I immediately get the following warning:

WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by macosx.MacOSXPlugin to method com.apple.eawt.FullScreenUtilities.setWindowCanFullScreen(java.awt.Window,boolean)
WARNING: Please consider reporting this to the maintainers of macosx.MacOSXPlugin
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release


The warning does not cause any problems, but it is also not nice to directly get warnings
when starting Isabelle/jedit.

Best,
René


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.