The following update of the jedit_build component is not essential, but it
makes things work for Java 1.7:
http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz
See also
http://isabelle.in.tum.de/repos/isabelle/file/3d0416135efb/src/Tools/jEdit/README_BUILD
Makarius
The current Isabelle/7b7baa283434 requires
http://www4.in.tum.de/~wenzelm/test/jedit_build-20110620.tar.gz for
building jedit from the repository.
This is only relevant for people who want to experiment with cutting edge
versions -- e.g. seeing fancy bold face, sub, superscripts or even
