Merge branch stable-2.13

* stable-2.13:
  Adapt to the JGit v4.5.x

Change-Id: I71d43089fc940af1f52067ebf1823264bd9c7fea