more Java 11 illegal-access warnings;
authorwenzelm
Sat Nov 17 16:29:09 2018 +0100 (3 weeks ago)
changeset 69311740b14b67472
parent 69310 bf5cbefb5c1f
child 69312 e0f68a507683
more Java 11 illegal-access warnings;
etc/settings
     1.1 --- a/etc/settings	Sat Nov 17 15:56:11 2018 +0100
     1.2 +++ b/etc/settings	Sat Nov 17 16:29:09 2018 +0100
     1.3 @@ -14,7 +14,7 @@
     1.4  
     1.5  ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.8 -Xmax-classfile-name 130 -J-Xms128m -J-Xmx1024m -J-Xss2m"
     1.6  
     1.7 -ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2"
     1.8 +ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2 --illegal-access=warn"
     1.9  
    1.10  ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss16m"
    1.11