Jenkins Pipeline Choice Parameter Default Value