More proxy setting changes.
Restart Jenkins the first time to see plugins
Allow different gerrit server