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 IDE Eclipse VDM Quick Interpreter feature 2.6.1-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] The project's OSGi version is 2.6.1.201805041316 [TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter' for files matching the pattern '**/*.java' - excludes: [TASKS] Found 0 files to scan for tasks Found 0 open tasks. [TASKS] Computing warning deltas based on reference build #199 [INFO] [INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] [INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.quickinterpreter --- [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/ide/plugins/features/quickinterpreter/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] --- target-platform-configuration:0.25.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] [INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-2.6.1-SNAPSHOT.jar [INFO] [INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] [INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] 1 archive(s) processed [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] Skipping javadoc generation [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.quickinterpreter --- [INFO] Installing /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-2.6.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.6.1-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.6.1-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.6.1-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.6.1-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/target/p2content.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.6.1-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.6.1-SNAPSHOT-p2metadata.xml [INFO] Installing /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/target/p2artifacts.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.6.1-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.6.1-SNAPSHOT-p2artifacts.xml [INFO] [INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.quickinterpreter ---