--- 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