# HG changeset patch
# User wenzelm
# Date 1258214029 -3600
# Node ID eb49306946f4e42eebd9f0f0d709ae584d80ead4
# Parent  7b8847852aaedb78d17a32ff3884147180e65121
basic platform update;

diff -r 7b8847852aae -r eb49306946f4 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Thu Sep 17 14:15:54 2009 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sat Nov 14 16:53:49 2009 +0100
@@ -2,7 +2,7 @@
 Requirements to build from sources
 ==================================
 
-* Proper Java JRE/JDK from Sun, e.g. 1.6.0_10
+* Proper Java JRE/JDK from Sun, e.g. 1.6.0_17
   http://java.sun.com/javase/downloads/index.jsp
 
 * Netbeans 6.7
@@ -13,7 +13,7 @@
   http://blogtrader.net/dcaoyuan/category/NetBeans
   http://wiki.netbeans.org/Scala
 
-* jEdit 4.3pre17
+* jEdit 4.3pre18
   http://www.jedit.org/
 
   Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.