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 Overture Testing 3.0.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] <b class=maven-mojo>--- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testing ---
</b>[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/testing' for files matching the pattern '**/*.java' - excludes: framework/**/*, samples/**/*
[TASKS] Found 0 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #280
[INFO] 
[INFO] <b class=maven-mojo>--- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testing ---
</b>[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-development/core/testing/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] <b class=maven-mojo>--- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ testing ---
</b>[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/testing/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] <b class=maven-mojo>--- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ testing ---
</b>[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO] 
[INFO] <b class=maven-mojo>--- maven-jarsigner-plugin:1.2:sign (sign) @ testing ---
</b>[INFO] Disabled
[INFO] 
[INFO] <b class=maven-mojo>--- maven-install-plugin:2.5.2:install (default-install) @ testing ---
</b>[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/testing/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/testing/3.0.3-SNAPSHOT/testing-3.0.3-SNAPSHOT.pom