Merge branch 'stable-2.16'

* stable-2.16:
  Upgrade JGit to 5.1.7.201904200442-r
  Upgrade bazlets to latest stable-2.16 to build with 2.16.8 API

Change-Id: I1f4de911046887012bef9809df27459089e077da