Jenkins configuration files updated by rob