Bump jenkins-core from 2.400 to 2.401#648

uhafner merged 1 commit intomasterjenkinsci/code-coverage-api-plugin:masterfrom

dependabot/maven/org.jenkins-ci.main-jenkins-core-2.401jenkinsci/code-coverage-api-plugin:dependabot/maven/org.jenkins-ci.main-jenkins-core-2.401Copy head branch name to clipboard