ignore odd warnings;
Wed, 10 Apr 2019 20:52:09 +0200
changeset 70296 96a2f134f0b5
parent 70295 f1c580ad3437
child 70297 2337a6bc5e41
ignore odd warnings;
--- a/src/Doc/JEdit/JEdit.thy	Wed Apr 10 20:31:14 2019 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Wed Apr 10 20:52:09 2019 +0200
@@ -2131,6 +2131,20 @@
   \<^bold>\<open>Workaround:\<close> Rebind keys via \<^emph>\<open>Global Options~/ Shortcuts\<close>.
+  \<^item> \<^bold>\<open>Problem:\<close> Application startup on Mac OS X emits warnings like as follows:
+  @{verbatim [display]
+\<open>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\<close>}}
+  \<^bold>\<open>Workaround:\<close> Ignore these warnings. They merely stem from a private
+  operation provided by Apple that still lacks a public counterpart in
+  OpenJDK 11.
   \<^item> \<^bold>\<open>Problem:\<close> The Mac OS X key sequence \<^verbatim>\<open>COMMAND+COMMA\<close> for application
   \<^emph>\<open>Preferences\<close> is in conflict with the jEdit default keyboard shortcut for
   \<^emph>\<open>Incremental Search Bar\<close> (action @{action_ref "quick-search"}).