Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Upgrade JGit to 4.7.5.201810051826-r
  Upgrade bazlets to latest stable-2.14 to build with 2.14.15 API

Change-Id: Ie53a488b6941160a0db12496d8d5665b55058f98