Jenkins configuration files updated by kris