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 VDM Pretty Printer 3.0.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ prettyprinter ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter' for files matching the pattern '**/*.java' - excludes: 
[TASKS] Found 4 files to scan for tasks
Found 6 open tasks.
[TASKS] Computing warning deltas based on reference build #287
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ prettyprinter ---
[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/prettyprinting/prettyprinter/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] --- maven-resources-plugin:2.7:resources (default-resources) @ prettyprinter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ prettyprinter ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ prettyprinter ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ prettyprinter ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ prettyprinter ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ prettyprinter ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/target/prettyprinter-3.0.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ prettyprinter ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ prettyprinter ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/target/prettyprinter-3.0.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ prettyprinter ---
[INFO] Disabled
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ prettyprinter ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/target/prettyprinter-3.0.3-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/target/prettyprinter-3.0.3-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT-javadoc.jar