diff -r 4eea6572896e -r dceb1daa185c Admin/java/build
--- a/Admin/java/build	Fri Nov 30 15:24:01 2012 +0100
+++ b/Admin/java/build	Fri Nov 30 16:34:11 2012 +0100
@@ -11,12 +11,12 @@
 
 ## parameters
 
-ARCHIVE_LINUX32="jdk-7u6-linux-i586.tar.gz"
-ARCHIVE_LINUX64="jdk-7u6-linux-x64.tar.gz"
-ARCHIVE_DARWIN="jdk1.7.0_06.jdk.tar.gz"
-ARCHIVE_WINDOWS="jdk1.7.0_06.tar.gz"
+ARCHIVE_LINUX32="jdk-7u9-linux-i586.tar.gz"
+ARCHIVE_LINUX64="jdk-7u9-linux-x64.tar.gz"
+ARCHIVE_DARWIN="jdk1.7.0_09.jdk.tar.gz"
+ARCHIVE_WINDOWS="jdk1.7.0_09.tar.gz"
 
-VERSION="7u6"
+VERSION="7u9"
 
 
 ## variations on version
@@ -47,13 +47,16 @@
 # README
 
 cat >> "$DIR/README" << EOF
-This is JDK $FULL_VERSION for Linux, Mac OS X, Windows.
+This is JDK $FULL_VERSION as required for Isabelle.
 
 See http://www.oracle.com/technetwork/java/javase/downloads/index.html
 for the original downloads, which are covered by the Oracle Binary
 Code License Agreement for Java SE.
 
-Note that Java 1.7 requires 64bit hardware on Mac OS X.
+Linux, Mac OS X, Windows work uniformly, depending on certain
+platform-specific subdirectories.
+
+Note that Java 1.7 on Mac OS X requires 64bit hardware!
 EOF
 
 
@@ -76,7 +79,12 @@
 esac
 
 if [ -n "\$ISABELLE_JDK_HOME" ]; then
-  ISABELLE_JAVA_EXT="\${ISABELLE_JDK_HOME}/jre/lib/ext"
+  if [ -d "\$ISABELLE_JDK_HOME" ]; then
+    ISABELLE_JAVA_EXT="\${ISABELLE_JDK_HOME}/jre/lib/ext"
+  else
+    echo "### Missing Java 1.7 platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
+    unset ISABELLE_JDK_HOME
+  fi
 fi
 EOF
 
@@ -94,6 +102,8 @@
 chmod -R a+r "$DIR"
 chmod -R a+X "$DIR"
 
+find "$DIR/x86_64-darwin" -name "._*" -exec rm -f {} ";"
+
 (
   cd "$DIR/x86-linux/jdk${FULL_VERSION}"
   for FILE in $(find . -type f)