[Jenkins configuration.]