added target -pre-jar which copies jEdit plugin to be included in jar;

--- a/src/Tools/jEdit/build.xml	Mon Oct 20 17:02:03 2008 +0200
+++ b/src/Tools/jEdit/build.xml	Mon Oct 20 20:25:54 2008 +0200
@@ -66,4 +66,10 @@
     nbproject/build-impl.xml file. 
 
     -->
+    <target name="-pre-jar">
+      <copy file="plugin/services.xml" todir="${build.classes.dir}" />
+      <copy file="plugin/dockables.xml" todir="${build.classes.dir}" />
+      <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
+      <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" />
+    </target>
 </project>