Console Output
Established TCP socket on 33234
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 #170
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/171
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] Overture VDM 2 C Translator Root .................. SUCCESS [5.512s]
[INFO] C native root vdm2c ............................... SUCCESS [2.687s]
[INFO] The C Code Generator VDM library sources .......... SUCCESS [15.225s]
[INFO] The C Code Generator VDM distribution library sources SUCCESS [3.759s]
[INFO] Core Tools for vdm2c .............................. SUCCESS [2.015s]
[INFO] The C Code Generator .............................. SUCCESS [9:42.565s]
[INFO] Overture FMI IDE Top-level ........................ SUCCESS [3.655s]
[INFO] The C Code Generator Plugin ....................... SUCCESS [7.682s]
[INFO] Overture IDE Eclipse VDM2C features ............... SUCCESS [1.073s]
[INFO] Overture IDE Eclipse C Code Generator feature ..... SUCCESS [3.634s]
[INFO] Overture IDE Eclipse repository ................... SUCCESS [8.789s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 11:20.018s
[INFO] Finished at: Mon Nov 27 19:29:05 CET 2017
[INFO] Final Memory: 132M/520M
[INFO] ------------------------------------------------------------------------
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
