Jenkins configuration files updated by rodrigc