svn2git mirror (likely out-of-date) of svn://svn.code.sf.net/p/jedit/svn/jEdit/