Upgrade JGit to 5.1.5.201812261915-r

To match the version used in Gerrit since 2.16.3.

Change-Id: I2fc411ad0dfcc6664bf630c60cb642648ea7c95f
1 file changed