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 reporting this to the maintainers of > macosx.MacOSXPlugin
I am de-facto the maintainer of macosx.MacOSXPlugin -- see also https://sourceforge.net/p/jedit/plugin-patches/186 Here I have overlooked the dynamic access to com.apple.eawt.FullScreenUtilities -- it still needs to be sorted out. Such warnings by Java 11 refer to internal things that will no longer be accessible in the near future -- Oracle started to robustify this with Java 9, and will become serious about it eventually. We need to eliminate such illegal accesses one-by-one, as they occur at run-time. Just today I've made a change in a different corner: changeset: 69301:5a71b5145201 user: wenzelm date: Wed Nov 14 21:43:33 2018 +0100 files: src/Pure/General/http.scala description: prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()"; There are more fine-points about OpenJDK 11 that are still to be discovered and sorted out. Only recently, I have noticed that the derived italic versions of the IsabelleText font don't work -- the current plan is to use fontforge to make a proper font instead. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev