Merge branch stable-2.13

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

Change-Id: I71d43089fc940af1f52067ebf1823264bd9c7fea
tree: c2507ede413e9bdadbd2055d536c142803a71d92
  1. .gitignore
  2. .settings/
  3. BUILD
  4. LICENSE
  5. src/