Admin/build

--- a/Admin/build	Mon Nov 07 14:23:50 2011 +0100
+++ b/Admin/build	Mon Nov 07 14:59:58 2011 +0100
@@ -84,7 +84,6 @@
 
 function build_jars ()
 {
-  "$ISABELLE_TOOL" env "$ISABELLE_HOME/lib/scripts/java_ext_dirs" >/dev/null
   pushd "$ISABELLE_HOME/src/Pure" >/dev/null
   "$ISABELLE_TOOL" env ./build-jars "$@" || exit $?
   popd >/dev/null