isabelle.jars: temporarily disabled, until isatest gets up-to-date java;

--- a/Admin/makedist	Mon Jan 07 02:24:24 2008 +0100
+++ b/Admin/makedist	Mon Jan 07 11:40:20 2008 +0100
@@ -180,16 +180,17 @@
 
 ( cd lib/browser; make; ) || fail "Failed to build graph browser!"
 
-( cd lib/classes; ./mk; )
-[ -f lib/classes/isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
-
-if type -p scalac >/dev/null
-then
-  ( cd lib/jedit/plugin; ./mk; )
-  [ -f lib/jedit/isabelle.jar ] || fail "Failed to build jEdit plugin!"
-else
-  echo "Warning: Scala unavailable -- skipping jEdit plugin"
-fi
+# FIXME temporarily disabled, until isatest gets up-to-date java
+#( cd lib/classes; ./mk; )
+#[ -f lib/classes/isabelle.jar ] || fail "Failed to build Isabelle process wrapper!"
+#
+#if type -p scalac >/dev/null
+#then
+#  ( cd lib/jedit/plugin; ./mk; )
+#  [ -f lib/jedit/isabelle.jar ] || fail "Failed to build jEdit plugin!"
+#else
+#  echo "Warning: Scala unavailable -- skipping jEdit plugin"
+#fi
 
 cp doc/isabelle*.eps lib/logo