v2.15.13
Merge branch stable-2.14

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

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