Upgrade JGit to 5.1.12.201910011832-r

Aligns with the version used in core Gerrit 2.16.13.

Change-Id: I7514cf27ed6f449cefa22d19b0f3a11ad87c9364
1 file changed