Merge branch stable-2.13

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

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