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 FMI IDE Top-level 0.1.17-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ ide --- [TASKS] Scanning folder '/var/lib/jenkins/workspace/vdm2c-pvj/ide' for files matching the pattern '**/*.java' - excludes: cgen/**/*, features/**/*, repository/**/* [TASKS] Found 0 files to scan for tasks Found 0 open tasks. [TASKS] Computing warning deltas based on reference build #183 [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ide --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ide --- [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/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) @ ide --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-pvj/ide/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.4:jar (attach-javadocs) @ ide --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.4:install (default-install) @ ide --- [INFO] Installing /var/lib/jenkins/workspace/vdm2c-pvj/ide/pom.xml to /var/lib/jenkins/workspace/vdm2c-pvj/.repository/org/overturetool/vdm2c/ide/0.1.17-SNAPSHOT/ide-0.1.17-SNAPSHOT.pom