obsolete, cf. README_REPOSITORY;

--- a/src/Tools/jEdit/README_BUILD	Sat Oct 20 12:00:48 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-Requirements for instantaneous build from repository
-====================================================
-
-* Java JDK 1.7 from Oracle
-  http://www.oracle.com/technetwork/java/javase/downloads/index.html
-
-  (experimental support for JDK/OpenJDK 1.7)
-
-* Scala 2.9.2
-  http://www.scala-lang.org
-
-  (experimental support for Scala 2.10.x milestones)
-
-  Note that the official directory layout of JDK and Scala is required!
-
-* Auxiliary jedit_build component according to Admin/components/main
-
-
-Build and run
-=============
-
-isabelle jedit -l HOL Test.thy
-