org.jenkins-ci.tools maven-jenkins-dev-plugin 20181113163158 20181113.163150 1 sources jar 9.4.12.v20180830-jenkins-1-20181113.163150-1 20181113163150 jar 9.4.12.v20180830-jenkins-1-20181113.163150-1 20181113163150 tests jar 9.4.12.v20180830-jenkins-1-20181113.163150-1 20181113163150 pom 9.4.12.v20180830-jenkins-1-20181113.163150-1 20181113163150 9.4.12.v20180830-SNAPSHOT