reverted build.xml

--- a/src/Tools/jEdit/build.xml	Tue Oct 28 20:15:28 2008 +0100
+++ b/src/Tools/jEdit/build.xml	Tue Oct 28 20:17:29 2008 +0100
@@ -72,7 +72,4 @@
       <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
       <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" />
     </target>
-    <target name="-post-jar">
-      <copy file="${dist.jar}" todir="/Users/fabian/tum/hiwi/jedit/jedit-sources/jEdit/build/jars/" />
-    </target>
 </project>