[isabelle-dev] jedit_build update

[Makarius]

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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev