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