* stable-2.15:
gerrit.sh: Fix message about JRE
Allow CommitValidationListener to ignore 'skip validation' push option
The change "Allow CommitValidationListener to ignore 'skip validation'
push option" is omitted from this merge as it requires non-trivial fixes
to make it work on stable-2.16. It will be re-done separately in a follow
up commit, to make it easier to review.
Change-Id: I2930c972c3db4eaae6a025a43753145d8aad94ba
09ed5b778f