diff -r b4dd58cff97c -r fb774d10ea4c lib/jedit/plugin/mk
--- a/lib/jedit/plugin/mk	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/mk	Sun Aug 24 18:11:20 2008 +0200
@@ -16,7 +16,7 @@
 && (
   cp *.xml *.props build/
   cd build
-  jar cf ../../isabelle.jar isabelle/*.class *.xml *.props
+  jar cf ../../isabelle.jar .
 )
 
 rm -rf build/