Established TCP socket on 44731 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-pvj/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/vdm2c-pvj/.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-pvj/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] Fetching content.jar from http://dl.bintray.com/overturetool/overturetool-development/ (0B of 119.29kB at 0B/s) [INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/pom.xml [INFO] Fetching org.overture.ide.builders.vdmj_2.5.5.201711290821.jar from http://dl.bintray.com/overturetool/overturetool-development/plugins/ (0B of 406.66kB at 0B/s) [INFO] Fetching org.overture.ide.core_2.5.5.201711290821.jar from http://dl.bintray.com/overturetool/overturetool-development/plugins/ (0B of 1.44MB at 0B/s) [INFO] Fetching org.overture.ide.debug_2.5.5.201711290821.jar from http://dl.bintray.com/overturetool/overturetool-development/plugins/ (0B of 1.44MB at 0B/s) [INFO] Fetching org.overture.ide.ui_2.5.5.201711290821.jar from http://dl.bintray.com/overturetool/overturetool-development/plugins/ (0B of 689.86kB at 0B/s) [INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.1.17-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-pvj/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-pvj/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-pvj/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-pvj/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-pvj/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-pvj/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-pvj/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-pvj/target [TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c-pvj' 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 #184 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-pvj/.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-pvj/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-pvj/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-install-plugin:2.4:install (default-install) @ root --- [INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/pom.xml to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/root/0.1.17-SNAPSHOT/root-0.1.17-SNAPSHOT.pom