--- a/src/Tools/jEdit/README_BUILD Sun Sep 04 15:49:59 2011 +0200
+++ b/src/Tools/jEdit/README_BUILD Sun Sep 04 16:37:22 2011 +0200
@@ -1,14 +1,14 @@
Requirements for instantaneous build from sources
=================================================
-* Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_26
- http://java.sun.com/javase/downloads/index.jsp
+* Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_27
+ http://www.oracle.com/technetwork/java/javase/downloads/index.html
* Scala Compiler 2.8.1.final
http://www.scala-lang.org
* Auxiliary jedit_build component
- http://www4.in.tum.de/~wenzelm/test/jedit_build-20110521.tar.gz
+ http://www4.in.tum.de/~wenzelm/test/jedit_build-20110622.tar.gz
Important settings within Isabelle environment