use fancy options of Java 8;
authorwenzelm
Wed Aug 26 14:59:26 2015 +0200 (2015-08-26 ago)
changeset 6102706ceb6dcdccd
parent 61026 397354b29935
child 61028 99d58362eeeb
child 61034 0776a4adc3d5
use fancy options of Java 8;
etc/settings
     1.1 --- a/etc/settings	Wed Aug 26 14:13:31 2015 +0200
     1.2 +++ b/etc/settings	Wed Aug 26 14:59:26 2015 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  
     1.5  ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130"
     1.6  
     1.7 -ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
     1.8 +ISABELLE_JAVA_SYSTEM_OPTIONS="-server -XX:+UseG1GC -XX:+UseStringDeduplication -Dfile.encoding=UTF-8 -Disabelle.threads=0"
     1.9  
    1.10  classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    1.11