Upgrade JGit to 5.1.12.201910011832-r Aligns with the version used in core Gerrit 2.16.13. Change-Id: I7514cf27ed6f449cefa22d19b0f3a11ad87c9364