Merge branch 'stable-2.16' into stable-3.0 * stable-2.16: Upgrade JGit to 5.1.12.201910011832-r Upgrade bazlets to latest stable-2.16 to build with 2.16.13 API Change-Id: I23f927483668899d117ba0b4140559c4d46463db