--- a/src/Tools/jEdit/README_BUILD Sat Dec 17 16:21:22 2011 +0100
+++ b/src/Tools/jEdit/README_BUILD Sat Dec 17 16:22:16 2011 +0100
@@ -1,14 +1,14 @@
Requirements for instantaneous build from sources
=================================================
-* Official Java JDK 1.6 from Sun/Oracle/Apple, e.g. 1.6.0_29
+* Official Java JDK 1.6/1.7 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
* Auxiliary jedit_build component
- http://www4.in.tum.de/~wenzelm/test/jedit_build-20111015.tar.gz
+ http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz
Important settings within Isabelle environment