so that they can build against our Artifactory server without special settings. If https://github.com/jenkins-infra/pipeline-library/pull/216 is merged, this will be enforced on ci.jenkins.io builds—today the CI server is lenient. If you see build failures relating to being unable to download Jenkins-related artifacts, please check that your pom.xml includes the above snippet.