diff -r d9783ea1160c -r 03a96b8c7c06 bin/isabelle
--- a/bin/isabelle	Mon Oct 23 14:12:09 2017 +0200
+++ b/bin/isabelle	Mon Oct 23 19:30:39 2017 +0200
@@ -45,13 +45,5 @@
 
 isabelle_admin_build jars || exit $?
 
-case "$ISABELLE_JAVA_PLATFORM" in
-  x86-*)
-    eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS32)"
-    ;;
-  x86_64-*)
-    eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS64)"
-    ;;
-esac
-
+eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
 exec isabelle java "${JAVA_ARGS[@]}" isabelle.Isabelle_Tool "$@"