SuccessConsole Output

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/ide/cgen/target
[INFO] Deleting /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars (includes = [], excludes = [])
[TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c/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 #460
[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.201711290932
[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/.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/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/ide/cgen/jars/ir.jar
[INFO] Copying platform-2.5.4.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/platform.jar
[INFO] Copying vdm2c-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/vdm2c.jar
[INFO] Copying vdmclib-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/vdmclib.jar
[INFO] Copying vdmclibdist-0.1.17-SNAPSHOT.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/vdmclibdist.jar
[INFO] Copying velocity-1.7.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/velocity.jar
[INFO] Copying commons-collections-3.2.2.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/commons-collections.jar
[INFO] Copying commons-lang-2.4.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/commons-lang.jar
[INFO] Copying jalopy-1.5rc3.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/jalopy.jar
[INFO] Copying slf4j-api-1.7.21.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/slf4j-api.jar
[INFO] Copying log4j-1.2.17.jar to /var/lib/jenkins/workspace/vdm2c/ide/cgen/jars/log4j.jar
[INFO] Copying slf4j-log4j12-1.7.21.jar to /var/lib/jenkins/workspace/vdm2c/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/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/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/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/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/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/ide/cgen/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overturetool.vdm2c.ide.cgen ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.4:jar (attach-javadocs) @ org.overturetool.vdm2c.ide.cgen ---
[INFO] Skipping javadoc generation