Got this upon launch. Is it important?

341ebf35464b tip


WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by macosx.MacOSXPlugin to method,boolean)
WARNING: Please consider reporting this to the maintainers of 
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

Reply via email to