# HG changeset patch
# User wenzelm
# Date 1414422004 -3600
# Node ID a42a5129df91a2d31d5a06ce779b08de9971975c
# Parent  387f65e69dd5c9d0ffa5543a38006a1398744228
ISABELLE_JAVA_EXT is obsolete;
no censorship of ISABELLE_JDK_HOME;

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