# HG changeset patch
# User wenzelm
# Date 1448230382 -3600
# Node ID a1b779ee035cfbf670198fc80fdfbd1910a7d7b6
# Parent  31633e503c1719aa49bedf4466d4701246ff0c5a
some GC options that potentially improve reactivity;

diff -r 31633e503c17 -r a1b779ee035c etc/settings
--- a/etc/settings	Sun Nov 22 20:53:38 2015 +0100
+++ b/etc/settings	Sun Nov 22 23:13:02 2015 +0100
@@ -14,7 +14,7 @@
 
 ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130"
 
-ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
+ISABELLE_JAVA_SYSTEM_OPTIONS="-server -XX:+UseConcMarkSweepGC -XX:+CMSParallelRemarkEnabled -Dfile.encoding=UTF-8 -Disabelle.threads=0"
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"