diff -r d9783ea1160c -r 03a96b8c7c06 bin/isabelle_java
--- a/bin/isabelle_java	Mon Oct 23 14:12:09 2017 +0200
+++ b/bin/isabelle_java	Mon Oct 23 19:30:39 2017 +0200
@@ -14,16 +14,7 @@
 (
   source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
 
-  case "$ISABELLE_JAVA_PLATFORM" in
-    x86-*)
-      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS32"
-      ;;
-    x86_64-*)
-      ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS64"
-      ;;
-  esac
-
-  declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
+  eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
 
   if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then
     classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"