updated to jEdit 4.3pre17;

--- a/src/Tools/jEdit/README_BUILD	Sun Jul 05 17:20:28 2009 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sun Jul 05 17:26:14 2009 +0200
@@ -13,10 +13,10 @@
   http://blogtrader.net/dcaoyuan/category/NetBeans
   http://wiki.netbeans.org/Scala
 
-* jEdit 4.3pre16
+* jEdit 4.3pre17
   http://www.jedit.org/
 
-  Netbeans Project "jEdit": install official sources as ./contrib/jEdit
+  Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
 
 * jEdit plugins:
     Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar