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

Change-Id: Id66d1d511057d87d165eb5a9b8babf4b3cc8a8a9