[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: 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


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 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