Upgrade JGit to 5.2.1.201812262042-r To match the version used on Gerrit's master branch. Change-Id: I05069550d4a2df233b0c42a0df2799fba03268cf