tuned;

--- a/lib/jedit/plugin/mk	Sun Jan 06 16:59:42 2008 +0100
+++ b/lib/jedit/plugin/mk	Sun Jan 06 17:01:45 2008 +0100
@@ -1,8 +1,6 @@
 #!/bin/bash
 # $Id$
 
-set -x
-
 JEDIT_HOME="$HOME/lib/jedit/current"
 PLUGINS="$HOME/.jedit/jars"
 
@@ -15,9 +13,11 @@
   isabelle/IsabellePlugin.scala \
   isabelle/IsabelleDock.scala \
   isabelle/IsabelleParser.scala \
-&& {
+&& (
   cp *.xml *.props build/
   cd build
   jar cf ../../isabelle.jar isabelle/*.class *.xml *.props
-}
+)
 
+rm -rf build/
+