added dist/jedit symlink for convenience;

--- a/src/Tools/jEdit/makedist	Tue Jan 11 20:10:34 2011 +0100
+++ b/src/Tools/jEdit/makedist	Tue Jan 11 20:18:48 2011 +0100
@@ -74,6 +74,8 @@
 rm -rf "$JEDIT" jedit
 mkdir "$JEDIT"
 
+rm -f jedit && ln -s "$JEDIT" jedit
+
 
 # copy stuff