Merge branch stable-2.13 * stable-2.13: Adapt to the JGit v4.5.x Change-Id: I71d43089fc940af1f52067ebf1823264bd9c7fea