diff -r ea9f12e422c7 -r d9744f41a4ec etc/settings
--- a/etc/settings	Sun Apr 03 23:28:48 2016 +0200
+++ b/etc/settings	Sun Apr 03 23:56:52 2016 +0200
@@ -16,6 +16,9 @@
 
 ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
 
+ISABELLE_TOOL_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
+ISABELLE_TOOL_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"
+
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
 
 #paranoia settings -- avoid intrusion of alien options
@@ -39,9 +42,6 @@
 
 ISABELLE_BUILD_OPTIONS=""
 
-ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
-ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"
-
 
 ###
 ### Document preparation (cf. isabelle latex/document)