An optional update of the jedit_build component for "users" of the Isabelle repository version is now available here: http://www4.in.tum.de/~wenzelm/test/jedit_build-20111015.tar.gz It does not change anything significant, apart from using the latest stable jEdit 4.4.2 instead of 4.4.1 before. Makarius