Provide a git diff that can be applied to JGit to make it easier to
apply the necessary changes in pom.xml for deployment to the Gerrit
Maven repository. Update the instructions to describe how to use it
as an alternative to manually updating pom.xml.
Change-Id: Ib8b2655abbd49b546e88ccf90def8329e749aa8b
