--- a/src/Tools/jEdit/README_BUILD Thu May 12 16:46:21 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD Thu May 12 16:46:49 2011 +0200
@@ -2,7 +2,7 @@
Requirements to build from sources
==================================
-* Proper Java JRE/JDK from Sun, e.g. 1.6.0_21
+* Proper Java JRE/JDK from Sun, e.g. 1.6.0_24
http://java.sun.com/javase/downloads/index.jsp
* Netbeans 6.9
@@ -31,7 +31,7 @@
* Isabelle/Pure Scala components
Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
-* Scala Compiler 2.8.1.final
+* Scala Compiler 2.8.1.final or 2.9.0.final
http://www.scala-lang.org
Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar