--- a/src/Tools/jEdit/README_BUILD Wed Jan 04 13:58:06 2012 +0100
+++ b/src/Tools/jEdit/README_BUILD Wed Jan 04 15:41:18 2012 +0100
@@ -1,11 +1,14 @@
Requirements for instantaneous build from sources
=================================================
-* Official Java JDK 1.6/1.7 from Sun/Oracle/Apple
+* Official Java JDK 1.6 from Sun/Oracle/Apple
http://www.oracle.com/technetwork/java/javase/downloads/index.html
-* Scala 2.8.2.final (experimental support for 2.9.1.final)
- http://www.scala-lang.org
+ (experimental support for JDK/OpenJDK 1.7)
+
+* Scala 2.8.2.final http://www.scala-lang.org
+
+ (experimental support for 2.9.1.final)
* Auxiliary jedit_build component
http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz