known problems with Mac OS X are back -- Java 7u6 is not the last word (cf. ce37d4f8b4f4);

--- a/src/Tools/jEdit/README.html	Tue Nov 20 14:29:46 2012 +0100
+++ b/src/Tools/jEdit/README.html	Tue Nov 20 14:55:52 2012 +0100
@@ -184,6 +184,21 @@
 </ul>
 
 
+<h2>Known problems with Mac OS X</h2>
+
+<ul>
+
+<li>The MacOSX plugin for jEdit disrupts tends to be disruptive. It
+might or might not improve the user experience, and is off by
+default.</li>
+
+<li>Java 7 (by Oracle) is officially supported starting with Lion (or
+later), but not Snow Leopard. It happens to work on the latter as
+well, but there might be some instabilities.</li>
+
+</ul>
+
+
 <h2>Licenses and home sites of contributing systems</h2>
 
 <ul>