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: 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev