# HG changeset patch
# User wenzelm
# Date 1325757558 -3600
# Node ID e99ca055c91d252708ed0e98477b7d3d58cf27e0
# Parent  edd50ec8d471aa583cfefa19e924f644b55ea13d
updated version information;

diff -r edd50ec8d471 -r e99ca055c91d src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Wed Jan 04 15:41:18 2012 +0100
+++ b/src/Tools/jEdit/README.html	Thu Jan 05 10:59:18 2012 +0100
@@ -193,7 +193,7 @@
 </ul>
 
 
-<h2>Known problems with Mac OS X</h2>
+<h2>Known problems with Mac OS X (Java 1.6)</h2>
 
 <ul>
 
@@ -228,7 +228,7 @@
   of the jEdit text area.  Always use official JRE 1.6.x from Oracle
   or Apple.</li>
 
-<li>jEdit 4.4.x on OpenJDK is generally not supported.</li>
+<li>jEdit 4.4.x on OpenJDK 1.6.x is generally not supported.</li>
 
 </ul>