Established TCP socket on 38091 Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0 <===[JENKINS REMOTING CAPACITY]===>channel started Executing Maven: -B -f /var/lib/jenkins/workspace/vdm2c-vpb/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/vdm2c-vpb/.repository clean install -PWith-IDE [INFO] Scanning for projects... [INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/cgen/pom.xml [INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/ (0B at 0B/s) [INFO] Adding repository http://download.eclipse.org/releases/neon [INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/neon/ (0B at 0B/s) [INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201705151400/ (0B at 0B/s) [INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201703141400/ (0B at 0B/s) [INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201703231000/ (0B at 0B/s) [INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201606221000/ (0B at 0B/s) [INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201609281000/ (0B at 0B/s) [INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201610111000/ (0B at 0B/s) [INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201612211000/ (0B at 0B/s) [INFO] Adding repository http://dl.bintray.com/overturetool/overturetool-development [INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/cgen/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/cgen/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/features/cgen/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/features/cgen/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/features/cgen/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/repository/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/repository/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-vpb/ide/repository/pom.xml [INFO] Initializing Artifactory Build-Info Recording [INFO] ------------------------------------------------------------------------ [INFO] Reactor Build Order: [INFO] [INFO] Overture VDM 2 C Translator Root [INFO] C native root vdm2c [INFO] The C Code Generator VDM library sources [INFO] The C Code Generator VDM distribution library sources [INFO] Core Tools for vdm2c [INFO] The C Code Generator [INFO] Overture FMI IDE Top-level [INFO] The C Code Generator Plugin [INFO] Overture IDE Eclipse VDM2C features [INFO] Overture IDE Eclipse C Code Generator feature [INFO] Overture IDE Eclipse repository [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building Overture VDM 2 C Translator Root 0.1.17-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ root --- [INFO] Deleting /var/lib/jenkins/workspace/vdm2c-vpb/target [TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c-vpb' for files matching the pattern '**/*.java' - excludes: c/**/*, core/**/*, ide/**/* [TASKS] Found 0 files to scan for tasks Found 0 open tasks. [TASKS] Computing warning deltas based on reference build #171 log4j:WARN No appenders could be found for logger (org.apache.commons.beanutils.converters.BooleanConverter). log4j:WARN Please initialize the log4j system properly. log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info. [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/vdm2c-vpb/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/vdm2c-vpb/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/* [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ root --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-vpb/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-install-plugin:2.4:install (default-install) @ root --- [INFO] Installing /var/lib/jenkins/workspace/vdm2c-vpb/pom.xml to /var/lib/jenkins/workspace/vdm2c-vpb/.repository/org/overturetool/vdm2c/root/0.1.17-SNAPSHOT/root-0.1.17-SNAPSHOT.pom Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] Artifactory Build Info Recorder: Saving Build Info to '/var/lib/jenkins/workspace/vdm2c-vpb/target/build-info.json' [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT-p2artifacts.xml [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT-p2metadata.xml [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.features/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.features-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/root/0.1.17-SNAPSHOT/root-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/0.1.17-SNAPSHOT/ide-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/c/0.1.17-SNAPSHOT/c-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/core/vdm2c/0.1.17-SNAPSHOT/vdm2c-0.1.17-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/core/vdm2c/0.1.17-SNAPSHOT/vdm2c-0.1.17-SNAPSHOT-jar-with-dependencies.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/core/vdm2c/0.1.17-SNAPSHOT/vdm2c-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/features/org.overturetool.vdm2c.ide.features.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT-p2metadata.xml [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/features/org.overturetool.vdm2c.ide.features.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/features/org.overturetool.vdm2c.ide.features.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT-p2artifacts.xml [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/features/org.overturetool.vdm2c.ide.features.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/c/vdmclib/0.1.17-SNAPSHOT/vdmclib-0.1.17-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/c/vdmclib/0.1.17-SNAPSHOT/vdmclib-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/core/0.1.17-SNAPSHOT/core-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.repository/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT-p2metadata.xml [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.repository/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT.zip [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.repository/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT-p2artifacts.xml [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.repository/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/c/vdmclibdist/0.1.17-SNAPSHOT/vdmclibdist-0.1.17-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/vdm2c-vpb/org/overturetool/vdm2c/c/vdmclibdist/0.1.17-SNAPSHOT/vdmclibdist-0.1.17-SNAPSHOT.pom [INFO] Artifactory Build Info Recorder: Deploying build info ... [INFO] Deploying build descriptor to: http://overture.au.dk:8081/artifactory/api/build [INFO] Build successfully deployed. Browse it in Artifactory under http://overture.au.dk:8081/artifactory/webapp/builds/vdm2c-vpb/172 [INFO] ------------------------------------------------------------------------ [INFO] Reactor Summary: [INFO] [INFO] Overture VDM 2 C Translator Root .................. SUCCESS [7.453s] [INFO] C native root vdm2c ............................... SUCCESS [3.524s] [INFO] The C Code Generator VDM library sources .......... SUCCESS [17.496s] [INFO] The C Code Generator VDM distribution library sources SUCCESS [4.085s] [INFO] Core Tools for vdm2c .............................. SUCCESS [3.870s] [INFO] The C Code Generator .............................. SUCCESS [12:30.782s] [INFO] Overture FMI IDE Top-level ........................ SUCCESS [4.445s] [INFO] The C Code Generator Plugin ....................... SUCCESS [12.552s] [INFO] Overture IDE Eclipse VDM2C features ............... SUCCESS [1.151s] [INFO] Overture IDE Eclipse C Code Generator feature ..... SUCCESS [4.805s] [INFO] Overture IDE Eclipse repository ................... SUCCESS [14.160s] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 14:42.572s [INFO] Finished at: Mon Nov 27 19:50:26 CET 2017 [INFO] Final Memory: 132M/524M [INFO] ------------------------------------------------------------------------