diff -r d9783ea1160c -r 03a96b8c7c06 etc/settings
--- a/etc/settings	Mon Oct 23 14:12:09 2017 +0200
+++ b/etc/settings	Mon Oct 23 19:30:39 2017 +0200
@@ -16,8 +16,7 @@
 
 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"
+ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"