# HG changeset patch
# User wenzelm
# Date 1305928786 -7200
# Node ID 978b7ea3e3ee77ed50ddaacf8e70b77b9251e29c
# Parent  6bc8a6dcb3e010f91e7c0bcd3f135658d9c7b7a9
updated versions;

diff -r 6bc8a6dcb3e0 -r 978b7ea3e3ee src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Fri May 20 20:44:03 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD	Fri May 20 23:59:46 2011 +0200
@@ -2,7 +2,7 @@
 Requirements to build from sources
 ==================================
 
-* Proper Java JRE/JDK from Sun, e.g. 1.6.0_24
+* Proper Java JRE/JDK from Sun, e.g. 1.6.0_24 or 1.6.0_25
   http://java.sun.com/javase/downloads/index.jsp
 
 * Netbeans 6.9