Merge branch 'stable-2.14' into stable-2.15 * stable-2.14: Upgrade JGit to 4.7.9.201904161809-r Change-Id: Ic68b1d04b1d48de395ae36df7bf4fc38ebba8b73