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