--- a/src/Tools/jEdit/README_BUILD	Fri Aug 24 11:03:52 2012 +0200
+++ b/src/Tools/jEdit/README_BUILD	Fri Aug 24 11:32:12 2012 +0200
@@ -13,10 +13,7 @@
 
   Note that the official directory layout of JDK and Scala is required!
 
-* Auxiliary jedit_build component
-
-
-See also http://isabelle.in.tum.de/components/.
+* Auxiliary jedit_build component according to Admin/components/main
 
 
 Build and run