Upgrade JGit to 4.1.2.201602141800-r To match the version used in Gerrit's stable-2.12 branch. Change-Id: Ia3e237d7d510e0ce6a4512269982358a40af04ab