Dear early adopters of ongoing Isabelle/jEdit development, the version in Isabelle/d6a1b5aeb4b1 requires http://www4.in.tum.de/~wenzelm/test/jedit_build-20120414.tar.gz in order to build from the repository. Makarius