Upgrade JGit to 5.1.12.201910011832-r

Aligns with the version used in core Gerrit 2.16.15.

Change-Id: Id6b8c83114e61fb40679b9aa04fd905f9952228f
1 file changed