diff -r 387f65e69dd5 -r a42a5129df91 Admin/java/build
--- a/Admin/java/build	Mon Oct 27 12:21:24 2014 +0100
+++ b/Admin/java/build	Mon Oct 27 16:00:04 2014 +0100
@@ -57,15 +57,6 @@
     ISABELLE_JDK_HOME="\$COMPONENT/\${ISABELLE_PLATFORM64:-\$ISABELLE_PLATFORM32}"
     ;;
 esac
-
-if [ -n "\$ISABELLE_JDK_HOME" ]; then
-  if [ -d "\$ISABELLE_JDK_HOME" ]; then
-    ISABELLE_JAVA_EXT="\${ISABELLE_JDK_HOME}/jre/lib/ext"
-  else
-    echo "### Missing Java platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
-    unset ISABELLE_JDK_HOME
-  fi
-fi
 EOF