Updates to Jenkins and minor change to Gerrit