Re: [isabelle-dev] illegal reflective access

2018-11-17 Thread Makarius
On 15/11/2018 22:13, Makarius wrote: > 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 >>

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