diff -r 18a6b96f8b00 -r 1b584fab241a Admin/java/settings
--- a/Admin/java/settings	Sat Jan 21 20:59:47 2017 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
-case "$ISABELLE_PLATFORM_FAMILY" in
-  linux)
-    ISABELLE_JAVA_PLATFORM="${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
-    ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
-    ;;
-  windows)
-    if [ ! -e "$COMPONENT/x86_64-windows" ]; then
-      ISABELLE_JAVA_PLATFORM="x86-windows"
-    elif "$COMPONENT/x86_64-windows/jre/bin/java" -version > /dev/null 2> /dev/null; then
-      ISABELLE_JAVA_PLATFORM="x86_64-windows"
-    else
-      ISABELLE_JAVA_PLATFORM="x86-windows"
-    fi
-    ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
-    ;;
-  macos)
-    if [ -z "$ISABELLE_PLATFORM64" ]; then
-      echo "### Java unavailable on 32bit Mac OS X" >&2
-    else
-      ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64"
-      ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM/Contents/Home"
-    fi
-    ;;
-esac