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] [INFO] ------------------------------------------------------------------------ [INFO] Building The C Code Generator Plugin 0.1.17-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Deleting /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/target [INFO] Deleting /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars (includes = [], excludes = []) [TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen' for files matching the pattern '**/*.java' - excludes: [TASKS] Found 11 files to scan for tasks Found 2 open tasks. [TASKS] Computing warning deltas based on reference build #183 [INFO] [INFO] --- tycho-packaging-plugin:0.24.0:build-qualifier (default-build-qualifier) @ org.overturetool.vdm2c.ide.cgen --- [INFO] The project's OSGi version is 0.1.17.201711281330 [INFO] [INFO] --- tycho-packaging-plugin:0.24.0:validate-id (default-validate-id) @ org.overturetool.vdm2c.ide.cgen --- [INFO] [INFO] --- tycho-packaging-plugin:0.24.0:validate-version (default-validate-version) @ org.overturetool.vdm2c.ide.cgen --- [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overturetool.vdm2c.ide.cgen --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overturetool.vdm2c.ide.cgen --- [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/ide/cgen/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] --- maven-dependency-plugin:2.6:copy (copy-dependencies) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Configured Artifact: org.overturetool.core.codegen:ir:2.5.4:jar [INFO] Configured Artifact: org.overturetool.core.codegen:platform:2.5.4:jar [INFO] Configured Artifact: org.overturetool.vdm2c.core:vdm2c:0.1.17-SNAPSHOT:jar [INFO] Configured Artifact: org.overturetool.vdm2c.c:vdmclib:0.1.17-SNAPSHOT:jar [INFO] Configured Artifact: org.overturetool.vdm2c.c:vdmclibdist:0.1.17-SNAPSHOT:jar [INFO] Configured Artifact: org.apache.velocity:velocity:1.7:jar [INFO] Configured Artifact: commons-collections:commons-collections:3.2.2:jar [INFO] Configured Artifact: commons-lang:commons-lang:2.4:jar [INFO] Configured Artifact: jalopy:jalopy:1.5rc3:jar [INFO] Configured Artifact: org.slf4j:slf4j-api:1.7.21:jar [INFO] Configured Artifact: log4j:log4j:1.2.17:jar [INFO] Configured Artifact: org.slf4j:slf4j-log4j12:1.7.21:jar [INFO] Copying ir-2.5.4.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/ir.jar [INFO] Copying platform-2.5.4.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/platform.jar [INFO] Copying vdm2c-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/vdm2c.jar [INFO] Copying vdmclib-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/vdmclib.jar [INFO] Copying vdmclibdist-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/vdmclibdist.jar [INFO] Copying velocity-1.7.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/velocity.jar [INFO] Copying commons-collections-3.2.2.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/commons-collections.jar [INFO] Copying commons-lang-2.4.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/commons-lang.jar [INFO] Copying jalopy-1.5rc3.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/jalopy.jar [INFO] Copying slf4j-api-1.7.21.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/slf4j-api.jar [INFO] Copying log4j-1.2.17.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/log4j.jar [INFO] Copying slf4j-log4j12-1.7.21.jar to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/jars/slf4j-log4j12.jar [INFO] [INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/src/main/resources [INFO] [INFO] --- tycho-compiler-plugin:0.24.0:compile (default-compile) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Compiling 11 source files to /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/target/classes [INFO] [INFO] --- maven-resources-plugin:2.6:copy-resources (copy-resources) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/target/runtime [INFO] [INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/src/test/resources [INFO] [INFO] --- target-platform-configuration:0.24.0:target-platform (default-target-platform) @ org.overturetool.vdm2c.ide.cgen --- [INFO] [INFO] --- tycho-packaging-plugin:0.24.0:package-plugin (default-package-plugin) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Building jar: /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/target/org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.jar [INFO] [INFO] --- tycho-p2-plugin:0.24.0:p2-metadata-default (default-p2-metadata-default) @ org.overturetool.vdm2c.ide.cgen --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.4:jar (attach-javadocs) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.4:install (default-install) @ org.overturetool.vdm2c.ide.cgen --- [INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/target/org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/pom.xml to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/ide/org.overturetool.vdm2c.ide.cgen/0.1.17-SNAPSHOT/org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/target/p2content.xml to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/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] Installing /var/lib/jenkins/workspace/vdm2c-pvj/ide/cgen/target/p2artifacts.xml to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/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] [INFO] --- tycho-p2-plugin:0.24.0:update-local-index (default-update-local-index) @ org.overturetool.vdm2c.ide.cgen ---