--- a/src/Tools/jEdit/build.xml	Thu Aug 27 11:06:25 2009 +0200
+++ b/src/Tools/jEdit/build.xml	Thu Aug 27 12:12:11 2009 +0200
@@ -83,6 +83,7 @@
         <fileset dir="${dist.dir}/jars/lib" />
       </move>
       <copy file="${scala.library}" todir="${dist.dir}/jars" />
+      <copy file="${scala.lib}/scala-swing.jar" todir="${dist.dir}/jars" />
       <!-- clean up -->
       <delete dir="{dist.dir}/jars/lib" />
       <!-- dist-template -->