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
> WARNING: Please consider reporting this to the maintainers of
I am de-facto the maintainer of macosx.MacOSXPlugin -- see also
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:
date:Wed Nov 14 21:43:33 2018 +0100
prefer statically-typed close operation, avoid Java 11 warning: "Illegal
reflective access by scala.reflect.package$ to method
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.
isabelle-dev mailing list