Change in jenkins[master]: Setting gerrit server as a parameter