diff -r ea9f12e422c7 -r d9744f41a4ec bin/isabelle
--- a/bin/isabelle	Sun Apr 03 23:28:48 2016 +0200
+++ b/bin/isabelle	Sun Apr 03 23:56:52 2016 +0200
@@ -47,10 +47,10 @@
 
 case "$ISABELLE_JAVA_PLATFORM" in
   x86-*)
-    eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS32)"
+    eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS32)"
     ;;
   x86_64-*)
-    eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS64)"
+    eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS64)"
     ;;
 esac