# HG changeset patch
# User wenzelm
# Date 1554922329 -7200
# Node ID 96a2f134f0b5be11bbebf7705e89062a8eea8f56
# Parent  f1c580ad34378769efed44883de063b8c9826376
ignore odd warnings;

diff -r f1c580ad3437 -r 96a2f134f0b5 src/Doc/JEdit/JEdit.thy
--- 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:
+{\def\isastylett{\footnotesize\normalfont\ttfamily}
+  @{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"}).