[isabelle-dev] illegal reflective access

2018-11-15 Thread Lawrence Paulson
Got this upon launch. Is it important? 341ebf35464b tip Larry /Users/lp15/isabelle/Repos/src/Tools/jEdit/dist/classes /Users/lp15/isabelle/Repos/src/Tools/jEdit/dist /Users/lp15/isabelle/Repos/src/Tools/jEdit/dist/classes WARNING: An illegal reflective access operation has occurred WARNING:

Re: [isabelle-dev] illegal reflective access

2018-11-15 Thread Makarius
On 15/11/2018 19:44, Lawrence Paulson wrote: > Got this upon launch. Is it important? > > 341ebf35464b tip > > WARNING: Illegal reflective access by macosx.MacOSXPlugin to method > com.apple.eawt.FullScreenUtilities.setWindowCanFullScreen(java.awt.Window,boolean) > WARNING: Please consider