Fork and mirror of git://git.eclipse.org/gitroot/jgit/jgit.git