Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Upgrade JGit to 4.7.9.201904161809-r

Change-Id: I1cfc43b41f376626a184f7d173b80a7d6bc2bbbe