# HG changeset patch
# User wenzelm
# Date 1289752408 -3600
# Node ID 8ac69a7960d3d0a8d35508ef872b0b99d953c8cd
# Parent  270f47a6d8f81343c57ca2cced5f9a6aa5df82d6
updated README;

diff -r 270f47a6d8f8 -r 8ac69a7960d3 src/Tools/jEdit/README
--- a/src/Tools/jEdit/README	Sun Nov 14 15:25:01 2010 +0100
+++ b/src/Tools/jEdit/README	Sun Nov 14 17:33:28 2010 +0100
@@ -60,10 +60,12 @@
   used in Isabelle sub/superscripts).
 
 
-Windows/Linux
-=============
+Known problems with OpenJDK
+===========================
 
-- Works best with Sun Java 1.6.x -- avoid OpenJDK for now.
+- The 2D rendering engine of OpenJDK 1.6.x distorts the appearance of
+  the jEdit text area.  Always use official JRE 1.6.x from
+  Sun/Oracle/Apple.
 
 
 Licenses and home sites of contributing systems
@@ -77,7 +79,3 @@
 
 * Lobo/Cobra: GPL and LGPL
   http://lobobrowser.org/
-
-
-     Makarius
-     31-May-2010