build Isabelle process wrapper;
build jEdit plugin, if Scala is available;

--- a/Admin/makedist	Sun Jan 06 18:04:09 2008 +0100
+++ b/Admin/makedist	Sun Jan 06 18:09:34 2008 +0100
@@ -178,7 +178,18 @@
 mv Distribution/* .
 rmdir Distribution
 
-( cd lib/browser; make; ) || fail "Graph browser build failed!"
+( 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
 
 cp doc/isabelle*.eps lib/logo