SuccessConsole Output

Skipping 2,025 KB.. Full Log
ide.platform-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.platform ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse features 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ features ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ features ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/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] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ features ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ features ---
[INFO] 0 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ features ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ features ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/2.4.5-SNAPSHOT/features-2.4.5-SNAPSHOT.pom
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse core feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.features.core ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.features.core ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/core/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.features.core ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.features.core ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/core/target/org.overture.ide.features.core-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.features.core ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/core/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.features.core ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.features.core ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.features.core ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/core/target/org.overture.ide.features.core-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.core/2.4.5-SNAPSHOT/org.overture.ide.features.core-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/core/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.core/2.4.5-SNAPSHOT/org.overture.ide.features.core-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/core/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.core/2.4.5-SNAPSHOT/org.overture.ide.features.core-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/core/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.core/2.4.5-SNAPSHOT/org.overture.ide.features.core-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.features.core ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Coverage Editor feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/coverageeditor/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.coverageeditor ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/coverageeditor/target/org.overture.ide.plugins.features.coverageeditor-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/coverageeditor/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/coverageeditor/target/org.overture.ide.plugins.features.coverageeditor-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/coverageeditor/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/coverageeditor/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/coverageeditor/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse CSK VDM Tools Link feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.csk ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.csk ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/csk/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.csk ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.csk ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/csk/target/org.overture.ide.plugins.features.csk-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.csk ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/csk/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.csk ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.csk ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.csk ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/csk/target/org.overture.ide.plugins.features.csk-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.csk-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/csk/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.csk-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/csk/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.csk-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/csk/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.csk-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.csk ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Combinatorial Testing feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/combinatorialtesting/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.combinatorialtesting ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/combinatorialtesting/target/org.overture.ide.plugins.features.combinatorialtesting-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/combinatorialtesting/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/combinatorialtesting/target/org.overture.ide.plugins.features.combinatorialtesting-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/combinatorialtesting/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/combinatorialtesting/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/combinatorialtesting/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Developer Utilities feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.developerutils ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.developerutils ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/developerutils/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.developerutils ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/developerutils/target/org.overture.ide.plugins.features.developerutils-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/developerutils/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/developerutils/target/org.overture.ide.plugins.features.developerutils-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.developerutils-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/developerutils/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.developerutils-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/developerutils/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.developerutils-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/developerutils/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.developerutils-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.developerutils ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse LaTeX Creator feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.latex ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.latex ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/latex/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.latex ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.latex ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/latex/target/org.overture.ide.plugins.features.latex-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.latex ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/latex/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.latex ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.latex ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.latex ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/latex/target/org.overture.ide.plugins.features.latex-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.latex-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/latex/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.latex-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/latex/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.latex-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/latex/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.latex-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.latex ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Proof Obligation Viewer feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.poviewer ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.poviewer ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/poviewer/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.poviewer ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/poviewer/target/org.overture.ide.plugins.features.poviewer-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/poviewer/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/poviewer/target/org.overture.ide.plugins.features.poviewer-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.poviewer-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/poviewer/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.poviewer-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/poviewer/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.poviewer-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/poviewer/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.poviewer-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.poviewer ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse VDM Quick Interpreter feature 2.4.5-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.4.5.201702101041
[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/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/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/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-2.4.5-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/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/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/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/quickinterpreter/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/quickinterpreter/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/quickinterpreter/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse plugin uml2 feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.uml2 ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.uml2 ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/uml2/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.uml2 ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/uml2/target/org.overture.ide.plugins.features.uml2-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/uml2/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/uml2/target/org.overture.ide.plugins.features.uml2-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.uml2-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/uml2/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.uml2-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/uml2/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.uml2-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/uml2/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.uml2-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.uml2 ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Realtime Trace Viewer feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/rttraceviewer/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.rttraceviewer ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/rttraceviewer/target/org.overture.ide.plugins.features.rttraceviewer-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/rttraceviewer/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/rttraceviewer/target/org.overture.ide.plugins.features.rttraceviewer-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/rttraceviewer/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/rttraceviewer/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/rttraceviewer/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Java Code Generator feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.javagen ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.javagen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/javagen/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.javagen ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.javagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/javagen/target/org.overture.ide.plugins.features.javagen-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.javagen ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/javagen/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.javagen ---
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.javagen ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.javagen ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/javagen/target/org.overture.ide.plugins.features.javagen-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.javagen-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/javagen/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.javagen-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/javagen/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.javagen-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/features/javagen/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/2.4.5-SNAPSHOT/org.overture.ide.plugins.features.javagen-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.javagen ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse rcp feature 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.features.rcp ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.features.rcp ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/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-dependency-plugin:2.10:unpack (unpack) @ org.overture.ide.features.rcp ---
[INFO] Configured Artifact: org.overturetool:externals:2.4.5-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.core:commandlinetool:2.4.5-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.documentation:releasenotes:2.4.5-SNAPSHOT:jar
[INFO] Unpacking /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/externals/target/externals-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/rootfiles with includes "**/*.pdf,**/*.uml" and excludes "**/*.properties"
[INFO] Unpacking /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/commandline/target/commandlinetool-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/rootfiles/commandline with includes "overture,overture.bat" and excludes "**/*.properties"
[INFO] Unpacking /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/documentation/releasenotes/target/releasenotes-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/rootfiles with includes "**/*.md,**/*.txt" and excludes "**/*.properties"
[INFO] 
[INFO] --- maven-dependency-plugin:2.10:copy-dependencies (copy-dependencies) @ org.overture.ide.features.rcp ---
[INFO] Copying commandlinetool-2.4.5-SNAPSHOT-jar-with-dependencies.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/rootfiles/commandline/commandlinetool-2.4.5-SNAPSHOT-jar-with-dependencies.jar
[INFO] 
[INFO] --- target-platform-configuration:0.25.0:target-platform (default-target-platform) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-feature (default-package-feature) @ org.overture.ide.features.rcp ---
[INFO] Building jar: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/org.overture.ide.features.rcp-2.4.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.features.rcp ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.features.rcp ---
[INFO] 2 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.features.rcp ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.features.rcp ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/org.overture.ide.features.rcp-2.4.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/2.4.5-SNAPSHOT/org.overture.ide.features.rcp-2.4.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/2.4.5-SNAPSHOT/org.overture.ide.features.rcp-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/2.4.5-SNAPSHOT/org.overture.ide.features.rcp-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/2.4.5-SNAPSHOT/org.overture.ide.features.rcp-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/features/rcp/target/org.overture.ide.features.rcp_root-2.4.5.201702101041-root.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/2.4.5-SNAPSHOT/org.overture.ide.features.rcp-2.4.5-SNAPSHOT-root.zip
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.features.rcp ---
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Standalone Product 2.4.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.product ---
[INFO] The project's OSGi version is 2.4.5.201702101041
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.product ---
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean-1) @ org.overture.ide.product ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.product ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/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 (p2-inf) @ org.overture.ide.product ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ org.overture.ide.product ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product
[INFO] 
[INFO] --- maven-antrun-plugin:1.8:run (default) @ org.overture.ide.product ---
[WARNING] Parameter tasks is deprecated, use target instead
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO] 
[INFO] --- target-platform-configuration:0.25.0:target-platform (default-target-platform) @ org.overture.ide.product ---
[INFO] 
[INFO] --- tycho-p2-publisher-plugin:0.25.0:publish-products (default-publish-products) @ org.overture.ide.product ---
[INFO] 
[INFO] --- tycho-p2-publisher-plugin:0.25.0:publish-categories (default-publish-categories) @ org.overture.ide.product ---
[INFO] 
[INFO] --- tycho-p2-publisher-plugin:0.25.0:attach-artifacts (default-attach-artifacts) @ org.overture.ide.product ---
[INFO] 
[INFO] --- tycho-p2-repository-plugin:0.25.0:assemble-repository (default-assemble-repository) @ org.overture.ide.product ---
[INFO] Copying resources from /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/classes to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/repository
[INFO] 
[INFO] --- tycho-p2-repository-plugin:0.25.0:archive-repository (default-archive-repository) @ org.overture.ide.product ---
[INFO] Building zip: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/org.overture.ide.product-2.4.5-SNAPSHOT.zip
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.product ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.product ---
[INFO] 6 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.product ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- tycho-p2-director-plugin:0.25.0:materialize-products (materialize-products) @ org.overture.ide.product ---
[INFO] Installing product org.overture.ide.platform.product for environment win32/win32/x86 to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86/Overture
Installing org.overture.ide.platform.product 2.4.5.201702101041.
Operation completed in 9143 ms.
[INFO] Installing product org.overture.ide.platform.product for environment win32/win32/x86_64 to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86_64/Overture
Installing org.overture.ide.platform.product 2.4.5.201702101041.
Operation completed in 4846 ms.
[INFO] Installing product org.overture.ide.platform.product for environment linux/gtk/x86 to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86/Overture
Installing org.overture.ide.platform.product 2.4.5.201702101041.
Operation completed in 4531 ms.
[INFO] Installing product org.overture.ide.platform.product for environment linux/gtk/x86_64 to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86_64/Overture
Installing org.overture.ide.platform.product 2.4.5.201702101041.
Operation completed in 23281 ms.
[INFO] Installing product org.overture.ide.platform.product for environment macosx/cocoa/x86_64 to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/macosx/cocoa/x86_64/Overture.app
Installing org.overture.ide.platform.product 2.4.5.201702101041.
Operation completed in 3692 ms.
[INFO] 
[INFO] --- tycho-p2-director-plugin:0.25.0:archive-products (archive-products) @ org.overture.ide.product ---
[INFO] Building zip: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-win32.win32.x86.zip
[INFO] Building zip: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-win32.win32.x86_64.zip
[INFO] Building zip: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-linux.gtk.x86.zip
[INFO] Building zip: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-linux.gtk.x86_64.zip
[INFO] Building zip: /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-macosx.cocoa.x86_64.zip
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.product ---
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/org.overture.ide.product-2.4.5-SNAPSHOT.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/pom.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86_64.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/p2artifacts.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-p2artifacts.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/p2content.xml to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-win32.win32.x86.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-win32.win32.x86.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-win32.win32.x86_64.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-win32.win32.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-linux.gtk.x86.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-linux.gtk.x86.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-linux.gtk.x86_64.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-linux.gtk.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/Overture-2.4.5-SNAPSHOT-macosx.cocoa.x86_64.zip to /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/.repository/org/overturetool/ide/org.overture.ide.product/2.4.5-SNAPSHOT/org.overture.ide.product-2.4.5-SNAPSHOT-macosx.cocoa.x86_64.zip
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.product ---
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  0.694 s]
[INFO] Overture External Resources ........................ SUCCESS [  2.767 s]
[INFO] Core Tools ......................................... SUCCESS [  0.252 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  1.439 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  1.449 s]
[INFO] The VDM parser ..................................... SUCCESS [  5.870 s]
[INFO] The VDM Type Checker ............................... SUCCESS [ 24.269 s]
[INFO] Overture Testing ................................... SUCCESS [  0.015 s]
[INFO] Overture Testing Framework ......................... SUCCESS [  1.327 s]
[INFO] Overture Sample Tests .............................. SUCCESS [  8.911 s]
[INFO] VDM Pretty Printing ................................ SUCCESS [  0.015 s]
[INFO] The VDM Pretty Printer ............................. SUCCESS [  1.772 s]
[INFO] The Proof Obligation Generator ..................... SUCCESS [  9.502 s]
[INFO] The VDM Interpreter ................................ SUCCESS [ 21.792 s]
[INFO] Combinatorial Testing .............................. SUCCESS [  0.007 s]
[INFO] Combinatorial Testing Utilities .................... SUCCESS [  1.206 s]
[INFO] Combinatorial Testing Runtime ...................... SUCCESS [ 10.357 s]
[INFO] New Pretty Printer ................................. SUCCESS [  2.833 s]
[INFO] Overture Core Command Line Tool .................... SUCCESS [  1.744 s]
[INFO] Code Generation .................................... SUCCESS [  0.010 s]
[INFO] The Intermediate Representation Tree ............... SUCCESS [  1.175 s]
[INFO] The Code Generation Platform ....................... SUCCESS [ 33.544 s]
[INFO] The Java Code Generator Runtime .................... SUCCESS [  3.660 s]
[INFO] The Java Code Generator Testing .................... SUCCESS [  1.538 s]
[INFO] The Java Code Generator ............................ SUCCESS [ 21.105 s]
[INFO] The VDM to JML Generator Runtime ................... SUCCESS [  1.151 s]
[INFO] The VDM to JML Generator ........................... SUCCESS [ 18.318 s]
[INFO] The Java Code Generator Maven Plugin ............... SUCCESS [  5.215 s]
[INFO] The VDM to Isabelle Translator ..................... SUCCESS [  5.593 s]
[INFO] POG - Isagen Integration ........................... SUCCESS [  3.346 s]
[INFO] Documentation ...................................... SUCCESS [  0.012 s]
[INFO] The Overture release notes ......................... SUCCESS [  0.631 s]
[INFO] Overture IDE Top-level ............................. SUCCESS [  0.591 s]
[INFO] org.overture.ide.core .............................. SUCCESS [  3.290 s]
[INFO] Overture IDE Builders .............................. SUCCESS [  0.017 s]
[INFO] org.overture.ide.builders.vdmj ..................... SUCCESS [  0.901 s]
[INFO] org.overture.ide.ui ................................ SUCCESS [  1.938 s]
[INFO] Overture IDE Parsers ............................... SUCCESS [  0.011 s]
[INFO] org.overture.ide.parsers.vdmj ...................... SUCCESS [  0.739 s]
[INFO] org.overture.ide.debug ............................. SUCCESS [  2.153 s]
[INFO] Overture IDE VDM-SL top level ...................... SUCCESS [  0.005 s]
[INFO] org.overture.ide.vdmsl.core ........................ SUCCESS [  0.492 s]
[INFO] org.overture.ide.vdmsl.ui .......................... SUCCESS [  0.939 s]
[INFO] org.overture.ide.vdmsl.debug ....................... SUCCESS [  0.847 s]
[INFO] Overture IDE VDM-PP Top-level ...................... SUCCESS [  0.006 s]
[INFO] org.overture.ide.vdmpp.core ........................ SUCCESS [  0.610 s]
[INFO] org.overture.ide.vdmpp.ui .......................... SUCCESS [  0.756 s]
[INFO] org.overture.ide.vdmpp.debug ....................... SUCCESS [  0.751 s]
[INFO] Overture IDE VDM-RT (RealTime) Top-level ........... SUCCESS [  0.010 s]
[INFO] org.overture.ide.vdmrt.core ........................ SUCCESS [  0.612 s]
[INFO] org.overture.ide.vdmrt.ui .......................... SUCCESS [  1.023 s]
[INFO] org.overture.ide.vdmrt.debug ....................... SUCCESS [  0.754 s]
[INFO] org.overture.ide.help .............................. SUCCESS [  6.213 s]
[INFO] Overture IDE core plugins GUI ...................... SUCCESS [  0.011 s]
[INFO] org.overture.ide.plugins.externaleditor ............ SUCCESS [  0.908 s]
[INFO] org.overture.ide.plugins.coverageeditor ............ SUCCESS [  0.810 s]
[INFO] org.overture.ide.plugins.csk ....................... SUCCESS [  0.873 s]
[INFO] org.overture.ide.plugins.quickinterpreter .......... SUCCESS [  1.013 s]
[INFO] org.overture.ide.plugins.latex ..................... SUCCESS [  1.126 s]
[INFO] org.overture.ide.plugins.poviewer .................. SUCCESS [  0.942 s]
[INFO] Combinatorial Testing .............................. SUCCESS [  1.096 s]
[INFO] Developer Utilities for Overture ................... SUCCESS [  0.612 s]
[INFO] UML2 Translator .................................... SUCCESS [  1.241 s]
[INFO] RT Trace Viewer Plugin ............................. SUCCESS [  1.137 s]
[INFO] The Java Code Generator Plugin ..................... SUCCESS [  1.998 s]
[INFO] Overture IDE Eclipse plugin features ............... SUCCESS [  0.010 s]
[INFO] org.overture.ide.platform .......................... SUCCESS [  4.673 s]
[INFO] Overture IDE Eclipse features ...................... SUCCESS [  0.011 s]
[INFO] Overture IDE Eclipse core feature .................. SUCCESS [  0.738 s]
[INFO] Overture IDE Eclipse Coverage Editor feature ....... SUCCESS [  0.482 s]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature .... SUCCESS [  0.556 s]
[INFO] Overture IDE Eclipse Combinatorial Testing feature . SUCCESS [  0.491 s]
[INFO] Overture IDE Eclipse Developer Utilities feature ... SUCCESS [  0.580 s]
[INFO] Overture IDE Eclipse LaTeX Creator feature ......... SUCCESS [  0.563 s]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature SUCCESS [  0.877 s]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature . SUCCESS [  0.651 s]
[INFO] Overture IDE Eclipse plugin uml2 feature ........... SUCCESS [  0.665 s]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature . SUCCESS [  0.567 s]
[INFO] Overture IDE Eclipse Java Code Generator feature ... SUCCESS [  0.714 s]
[INFO] Overture IDE Eclipse rcp feature ................... SUCCESS [  5.899 s]
[INFO] Overture IDE Standalone Product .................... SUCCESS [02:05 min]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 09:32 min
[INFO] Finished at: 2017-02-10T11:44:20+01:00
[INFO] Final Memory: 349M/941M
[INFO] ------------------------------------------------------------------------
[WARNING] The requested profile "force-download-externals" could not be activated because it does not exist.
[Pipeline] step
Archiving artifacts
Recording fingerprints
[Pipeline] step
Recording test results
[Pipeline] step
[JaCoCo plugin] Collecting JaCoCo coverage data...
[JaCoCo plugin] **/**.exec;**/classes;**/src/main/java; locations are configured
[JaCoCo plugin] Number of found exec files for pattern **/**.exec: 13
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/platform/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/isapog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: **/classes:  /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/ast/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/codegen-maven-plugin/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/codegen-runtime/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/ir/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/isagen/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/javagen-test/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/javagen/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/platform/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/vdm2jml-runtime/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/vdm2jml/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/combinatorialtesting/ctruntime/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/combinatorialtesting/ctutils/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/commandline/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/interpreter/src/test/resources/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/interpreter/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/interpreter/target/test-classes/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/isapog/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/parser/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/pog/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/prettyprinting/npp/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/prettyprinting/prettyprinter/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/testframework/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/testing/framework/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/testing/samples/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/typechecker/src/test/resources/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/typechecker/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/typechecker/target/test-classes/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/documentation/releasenotes/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/externals/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/builders/vdmj/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/core/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/debug/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/help/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/parsers/vdmj/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/platform/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/combinatorialtesting/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/coverageeditor/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/csk/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/developerutils/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/externaleditor/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/javagen/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/latex/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/poviewer/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/quickinterpreter/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/rttraceviewer/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/uml2/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/ui/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmpp/core/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmpp/debug/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmpp/ui/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmrt/core/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmrt/debug/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmrt/ui/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmsl/core/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmsl/debug/target/classes /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmsl/ui/target/classes
[JaCoCo plugin] Saving matched source directories for source-pattern: **/src/main/java:  /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/ast/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/codegen-maven-plugin/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/codegen-runtime/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/cppgen/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/ir/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/isagen/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/javagen-test/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/javagen/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/platform/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/vdm2jml-runtime/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/codegen/vdm2jml/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/combinatorialtesting/ctruntime/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/combinatorialtesting/ctutils/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/interpreter/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/isapog/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/parser/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/pog/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/prettyprinting/npp/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/prettyprinting/prettyprinter/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/testframework/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/testing/framework/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/core/typechecker/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/builders/vdmj/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/core/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/debug/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/help/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/parsers/vdmj/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/platform/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/combinatorialtesting/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/coverageeditor/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/csk/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/developerutils/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/externaleditor/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/isatrans/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/javagen/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/latex/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/poviewer/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/quickinterpreter/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/rttraceviewer/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/uml2.tests/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/plugins/uml2/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86/Overture/plugins/org.overture.ide.debug_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86/Overture/plugins/org.overture.ide.help_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86_64/Overture/plugins/org.overture.ide.debug_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86_64/Overture/plugins/org.overture.ide.help_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/macosx/cocoa/x86_64/Overture.app/Contents/Eclipse/plugins/org.overture.ide.debug_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/macosx/cocoa/x86_64/Overture.app/Contents/Eclipse/plugins/org.overture.ide.help_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86/Overture/plugins/org.overture.ide.debug_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86/Overture/plugins/org.overture.ide.help_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86_64/Overture/plugins/org.overture.ide.debug_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86_64/Overture/plugins/org.overture.ide.help_2.4.5.201702101041/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/ui.tests/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/ui/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmpp/core/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmpp/debug/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmpp/ui/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmrt/core/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmrt/debug/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmrt/ui/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmsl/core/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmsl/debug/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/ide/vdmsl/ui/src/main/java /var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ/src/main/java
[JaCoCo plugin] Loading inclusions files..
[JaCoCo plugin] inclusions: []
[JaCoCo plugin] exclusions: [**/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/**/*]
[JaCoCo plugin] Thresholds: JacocoHealthReportThresholds [minClass=0, maxClass=0, minMethod=0, maxMethod=0, minLine=0, maxLine=0, minBranch=0, maxBranch=0, minInstruction=0, maxInstruction=0, minComplexity=0, maxComplexity=0]
[JaCoCo plugin] Publishing the results..
[JaCoCo plugin] Loading packages..
[JaCoCo plugin] Done.
[JaCoCo plugin] Overall coverage: class: 77, method: 54, line: 54, branch: 44, instruction: 55
[Pipeline] step
[TASKS] Scanning folder '/var/lib/jenkins/workspace/uretool_kel_overture-fmu-p2-NMRNH2GUKNSH7P6D2PYUDYGMHDA5GCJMG7G57ZBJUXATKFAA2DYQ' for files matching the pattern '**/*.java' - excludes: 
[TASKS] Found 3440 files to scan for tasks
[TASKS] Found 461 open tasks.
[Pipeline] }
[Pipeline] // withMaven
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Reporting)
[Pipeline] step
[Set GitHub commit status (universal)] PENDING on repos [] (sha:eefdbaf) with context:overturetool/kel%2Foverture-fmu-p2
[Pipeline] step
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS