svn2git mirror of svn://svn.code.sf.net/p/jedit/svn/jEdit/