Whether to use Jenkins proxy settings.