SuccessConsole Output

Skipping 3,098 KB.. Full Log
2artifacts.xml' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.features.rcp-2.6.5-SNAPSHOT-p2metadata.xml' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.features.rcp-2.6.5-SNAPSHOT.jar' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.features.rcp-2.6.5-SNAPSHOT-root.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.features.rcp-2.6.5-SNAPSHOT.pom' will not be deployed due to the defined include-exclude patterns.
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Standalone Product 2.6.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.6.5.201909061258
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/ide/product' for files matching the pattern '**/*.java' - excludes: **/target/*
[TASKS] Found 0 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #199
[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/overture-test/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-test/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/overture-test/ide/product
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/overture-test/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/overture-test/ide/product
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/overture-test/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/overture-test/ide/product/target/classes to /var/lib/jenkins/workspace/overture-test/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/overture-test/ide/product/target/org.overture.ide.product-2.6.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/overture-test/ide/product/target/coverage-reports/jacoco-unit.exec
[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/overture-test/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86/Overture
Installing org.overture.ide.platform.product 2.6.5.201909061258.
Operation completed in 20956 ms.
[INFO] Installing product org.overture.ide.platform.product for environment win32/win32/x86_64 to /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86_64/Overture
Installing org.overture.ide.platform.product 2.6.5.201909061258.
Operation completed in 7159 ms.
[INFO] Installing product org.overture.ide.platform.product for environment linux/gtk/x86 to /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86/Overture
Installing org.overture.ide.platform.product 2.6.5.201909061258.
Operation completed in 5702 ms.
[INFO] Installing product org.overture.ide.platform.product for environment linux/gtk/x86_64 to /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86_64/Overture
Installing org.overture.ide.platform.product 2.6.5.201909061258.
Operation completed in 22021 ms.
[INFO] Installing product org.overture.ide.platform.product for environment macosx/cocoa/x86_64 to /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/macosx/cocoa/x86_64/Overture.app
Installing org.overture.ide.platform.product 2.6.5.201909061258.
Operation completed in 5268 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/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-win32.win32.x86.zip
[INFO] Building zip: /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-win32.win32.x86_64.zip
[INFO] Building zip: /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-linux.gtk.x86.zip
[INFO] Building zip: /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-linux.gtk.x86_64.zip
[INFO] Building zip: /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.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/overture-test/ide/product/target/org.overture.ide.product-2.6.5-SNAPSHOT.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86_64.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/p2artifacts.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-p2artifacts.xml
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/p2content.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-win32.win32.x86.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-win32.win32.x86_64.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-linux.gtk.x86.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-linux.gtk.x86_64.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-macosx.cocoa.x86_64.zip to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.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] 'org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86_64.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-p2metadata.xml' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-p2artifacts.xml' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86_64.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT-macosx.cocoa.x86_64.zip' will not be deployed due to the defined include-exclude patterns.
[INFO] 'org.overture.ide.product-2.6.5-SNAPSHOT.pom' will not be deployed due to the defined include-exclude patterns.
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO] Artifactory Build Info Recorder: Saving Build Info to '/var/lib/jenkins/workspace/overture-test/target/build-info.json'
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/2.6.5-SNAPSHOT/core-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/externals/2.6.5-SNAPSHOT/externals-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/externals/2.6.5-SNAPSHOT/externals-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/testframework/2.6.5-SNAPSHOT/testframework-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/testframework/2.6.5-SNAPSHOT/testframework-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/testframework/2.6.5-SNAPSHOT/testframework-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/vdm2jml-runtime/2.6.5-SNAPSHOT/vdm2jml-runtime-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/vdm2jml-runtime/2.6.5-SNAPSHOT/vdm2jml-runtime-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/vdm2jml-runtime/2.6.5-SNAPSHOT/vdm2jml-runtime-2.6.5-SNAPSHOT-sources.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/vdm2jml-runtime/2.6.5-SNAPSHOT/vdm2jml-runtime-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/ast/2.6.5-SNAPSHOT/ast-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/ast/2.6.5-SNAPSHOT/ast-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/ast/2.6.5-SNAPSHOT/ast-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/testing/samples/2.6.5-SNAPSHOT/samples-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/ir/2.6.5-SNAPSHOT/ir-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/ir/2.6.5-SNAPSHOT/ir-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/ir/2.6.5-SNAPSHOT/ir-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/2.6.5-SNAPSHOT/codegen-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/isapog/2.6.5-SNAPSHOT/isapog-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/isapog/2.6.5-SNAPSHOT/isapog-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/isapog/2.6.5-SNAPSHOT/isapog-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/combinatorialtesting/2.6.5-SNAPSHOT/combinatorialtesting-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/commandlinetool/2.6.5-SNAPSHOT/commandlinetool-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/commandlinetool/2.6.5-SNAPSHOT/commandlinetool-2.6.5-SNAPSHOT-jar-with-dependencies.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/commandlinetool/2.6.5-SNAPSHOT/commandlinetool-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/root/2.6.5-SNAPSHOT/root-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT-sources.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/npp/2.6.5-SNAPSHOT/npp-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/npp/2.6.5-SNAPSHOT/npp-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/npp/2.6.5-SNAPSHOT/npp-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/codegen-plugin/2.6.5-SNAPSHOT/codegen-plugin-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/codegen-plugin/2.6.5-SNAPSHOT/codegen-plugin-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/codegen-plugin/2.6.5-SNAPSHOT/codegen-plugin-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/testing/2.6.5-SNAPSHOT/testing-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/testing/framework/2.6.5-SNAPSHOT/framework-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/testing/framework/2.6.5-SNAPSHOT/framework-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/testing/framework/2.6.5-SNAPSHOT/framework-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/parser/2.6.5-SNAPSHOT/parser-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/parser/2.6.5-SNAPSHOT/parser-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/parser/2.6.5-SNAPSHOT/parser-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/isagen/2.6.5-SNAPSHOT/isagen-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/isagen/2.6.5-SNAPSHOT/isagen-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/isagen/2.6.5-SNAPSHOT/isagen-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/documentation/2.6.5-SNAPSHOT/documentation-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/prettyprinting/2.6.5-SNAPSHOT/prettyprinting-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/combinatorialtesting/ctutils/2.6.5-SNAPSHOT/ctutils-2.6.5-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/combinatorialtesting/ctutils/2.6.5-SNAPSHOT/ctutils-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/core/combinatorialtesting/ctutils/2.6.5-SNAPSHOT/ctutils-2.6.5-SNAPSHOT.pom
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/documentation/releasenotes/2.6.5-SNAPSHOT/releasenotes-2.6.5-SNAPSHOT.jar
[INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-test/org/overturetool/documentation/releasenotes/2.6.5-SNAPSHOT/releasenotes-2.6.5-SNAPSHOT.pom
[INFO] Artifactory Build Info Recorder: Deploying build info ...
[INFO] Deploying build descriptor to: http://overture.au.dk:8081/artifactory/api/build
[INFO] Build successfully deployed. Browse it in Artifactory under http://overture.au.dk:8081/artifactory/webapp/builds/overture-test/200
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] The Overture Tool Platform root ................... SUCCESS [7.436s]
[INFO] Overture External Resources ....................... SUCCESS [5.135s]
[INFO] Core Tools ........................................ SUCCESS [1.950s]
[INFO] The Overture Abstract Syntax Tree ................. SUCCESS [22.203s]
[INFO] Test Framework for Overture ....................... SUCCESS [4.320s]
[INFO] The VDM parser .................................... SUCCESS [10.029s]
[INFO] The VDM Type Checker .............................. SUCCESS [41.885s]
[INFO] Overture Testing .................................. SUCCESS [1.272s]
[INFO] Overture Testing Framework ........................ SUCCESS [4.005s]
[INFO] Overture Sample Tests ............................. SUCCESS [18.657s]
[INFO] VDM Pretty Printing ............................... SUCCESS [1.174s]
[INFO] The VDM Pretty Printer ............................ SUCCESS [4.205s]
[INFO] The Proof Obligation Generator .................... SUCCESS [17.207s]
[INFO] The VDM Interpreter ............................... SUCCESS [37.737s]
[INFO] Combinatorial Testing ............................. SUCCESS [1.149s]
[INFO] Combinatorial Testing Utilities ................... SUCCESS [4.023s]
[INFO] Combinatorial Testing Runtime ..................... SUCCESS [26.517s]
[INFO] New Pretty Printer ................................ SUCCESS [6.913s]
[INFO] Overture Core Command Line Tool ................... SUCCESS [5.487s]
[INFO] Code Generation ................................... SUCCESS [1.514s]
[INFO] The Intermediate Representation Tree .............. SUCCESS [16.254s]
[INFO] The Code Generation Platform ...................... SUCCESS [1:08.315s]
[INFO] The Java Code Generator Runtime ................... SUCCESS [7.481s]
[INFO] The Java Code Generator Testing ................... SUCCESS [4.246s]
[INFO] The Java Code Generator ........................... SUCCESS [40.207s]
[INFO] The VDM to JML Generator Runtime .................. SUCCESS [3.826s]
[INFO] The VDM to JML Generator .......................... SUCCESS [29.768s]
[INFO] The Java Code Generator Maven Plugin .............. SUCCESS [13.622s]
[INFO] The VDM to Isabelle Translator .................... SUCCESS [14.270s]
[INFO] POG - Isagen Integration .......................... SUCCESS [6.810s]
[INFO] Documentation ..................................... SUCCESS [1.038s]
[INFO] The Overture release notes ........................ SUCCESS [2.271s]
[INFO] Overture IDE Top-level ............................ SUCCESS [1.780s]
[INFO] org.overture.ide.core ............................. SUCCESS [6.490s]
[INFO] Overture IDE Builders ............................. SUCCESS [1.213s]
[INFO] org.overture.ide.builders.vdmj .................... SUCCESS [3.782s]
[INFO] org.overture.ide.ui ............................... SUCCESS [6.403s]
[INFO] Overture IDE Parsers .............................. SUCCESS [1.194s]
[INFO] org.overture.ide.parsers.vdmj ..................... SUCCESS [3.403s]
[INFO] org.overture.ide.debug ............................ SUCCESS [7.616s]
[INFO] Overture IDE VDM-SL top level ..................... SUCCESS [1.170s]
[INFO] org.overture.ide.vdmsl.core ....................... SUCCESS [3.946s]
[INFO] org.overture.ide.vdmsl.ui ......................... SUCCESS [3.685s]
[INFO] org.overture.ide.vdmsl.debug ...................... SUCCESS [3.981s]
[INFO] Overture IDE VDM-PP Top-level ..................... SUCCESS [1.319s]
[INFO] org.overture.ide.vdmpp.core ....................... SUCCESS [3.211s]
[INFO] org.overture.ide.vdmpp.ui ......................... SUCCESS [3.697s]
[INFO] org.overture.ide.vdmpp.debug ...................... SUCCESS [4.719s]
[INFO] Overture IDE VDM-RT (RealTime) Top-level .......... SUCCESS [1.236s]
[INFO] org.overture.ide.vdmrt.core ....................... SUCCESS [3.305s]
[INFO] org.overture.ide.vdmrt.ui ......................... SUCCESS [3.725s]
[INFO] org.overture.ide.vdmrt.debug ...................... SUCCESS [3.697s]
[INFO] org.overture.ide.help ............................. SUCCESS [11.856s]
[INFO] Overture IDE core plugins GUI ..................... SUCCESS [1.245s]
[INFO] org.overture.ide.plugins.externaleditor ........... SUCCESS [3.898s]
[INFO] org.overture.ide.plugins.coverageeditor ........... SUCCESS [3.954s]
[INFO] org.overture.ide.plugins.csk ...................... SUCCESS [3.692s]
[INFO] org.overture.ide.plugins.quickinterpreter ......... SUCCESS [4.269s]
[INFO] org.overture.ide.plugins.latex .................... SUCCESS [5.411s]
[INFO] org.overture.ide.plugins.poviewer ................. SUCCESS [3.987s]
[INFO] Combinatorial Testing ............................. SUCCESS [4.587s]
[INFO] Developer Utilities for Overture .................. SUCCESS [3.590s]
[INFO] UML2 Translator ................................... SUCCESS [4.572s]
[INFO] RT Trace Viewer Plugin ............................ SUCCESS [5.744s]
[INFO] The Java Code Generator Plugin .................... SUCCESS [5.015s]
[INFO] org.overture.ide.platform ......................... SUCCESS [8.639s]
[INFO] Overture IDE Eclipse features ..................... SUCCESS [1.235s]
[INFO] Overture IDE Eclipse core feature ................. SUCCESS [3.568s]
[INFO] Overture IDE Eclipse plugin features .............. SUCCESS [2.829s]
[INFO] Overture IDE Eclipse Coverage Editor feature ...... SUCCESS [3.261s]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature ... SUCCESS [3.241s]
[INFO] Overture IDE Eclipse Combinatorial Testing feature  SUCCESS [3.278s]
[INFO] Overture IDE Eclipse Developer Utilities feature .. SUCCESS [3.187s]
[INFO] Overture IDE Eclipse LaTeX Creator feature ........ SUCCESS [3.471s]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature  SUCCESS [4.275s]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature  SUCCESS [3.270s]
[INFO] Overture IDE Eclipse plugin uml2 feature .......... SUCCESS [3.388s]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature  SUCCESS [3.337s]
[INFO] Overture IDE Eclipse Java Code Generator feature .. SUCCESS [3.233s]
[INFO] Overture IDE Eclipse rcp feature .................. SUCCESS [7.834s]
[INFO] Overture IDE Standalone Product ................... SUCCESS [2:40.869s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 16:44.075s
[INFO] Finished at: Fri Sep 06 15:06:09 CEST 2019
[INFO] Final Memory: 313M/744M
[INFO] ------------------------------------------------------------------------
[WARNING] The requested profile "force-download-externals" could not be activated because it does not exist.
Waiting for Jenkins to finish collecting data
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/pom.xml to org.overturetool/ide/2.6.5-SNAPSHOT/ide-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/latex/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.latex/2.6.5-SNAPSHOT/org.overture.ide.plugins.latex-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/latex/target/org.overture.ide.plugins.latex-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.latex/2.6.5-SNAPSHOT/org.overture.ide.plugins.latex-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/latex/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.latex/2.6.5-SNAPSHOT/org.overture.ide.plugins.latex-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/latex/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.latex/2.6.5-SNAPSHOT/org.overture.ide.plugins.latex-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/ui/pom.xml to org.overturetool.ide/org.overture.ide.ui/2.6.5-SNAPSHOT/org.overture.ide.ui-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/ui/target/org.overture.ide.ui-2.6.5-SNAPSHOT.jar to org.overturetool.ide/org.overture.ide.ui/2.6.5-SNAPSHOT/org.overture.ide.ui-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/ui/target/p2content.xml to org.overturetool.ide/org.overture.ide.ui/2.6.5-SNAPSHOT/org.overture.ide.ui-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/ui/target/p2artifacts.xml to org.overturetool.ide/org.overture.ide.ui/2.6.5-SNAPSHOT/org.overture.ide.ui-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/debug/pom.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.debug-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/debug/target/org.overture.ide.vdmpp.debug-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.debug-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/debug/target/p2content.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.debug-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/debug/target/p2artifacts.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.debug-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/pom.xml to org.overturetool.ide/org.overture.ide.vdmsl/2.6.5-SNAPSHOT/org.overture.ide.vdmsl-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/core/pom.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.core/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.core-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/core/target/org.overture.ide.vdmsl.core-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.core/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.core-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/core/target/p2content.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.core/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.core-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/core/target/p2artifacts.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.core/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.core-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/isapog/pom.xml to org.overturetool.core/isapog/2.6.5-SNAPSHOT/isapog-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/isapog/target/isapog-2.6.5-SNAPSHOT.jar to org.overturetool.core/isapog/2.6.5-SNAPSHOT/isapog-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/isapog/target/isapog-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core/isapog/2.6.5-SNAPSHOT/isapog-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testing/framework/pom.xml to org.overturetool.core.testing/framework/2.6.5-SNAPSHOT/framework-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar to org.overturetool.core.testing/framework/2.6.5-SNAPSHOT/framework-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.testing/framework/2.6.5-SNAPSHOT/framework-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/poviewer/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.poviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.poviewer-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/poviewer/target/org.overture.ide.plugins.poviewer-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.poviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.poviewer-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/poviewer/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.poviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.poviewer-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/poviewer/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.poviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.poviewer-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/pom.xml to org.overturetool.core/combinatorialtesting/2.6.5-SNAPSHOT/combinatorialtesting-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/pom.xml to org.overturetool/root/2.6.5-SNAPSHOT/root-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testing/samples/pom.xml to org.overturetool.core.testing/samples/2.6.5-SNAPSHOT/samples-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testing/samples/target/samples-2.6.5-SNAPSHOT.jar to org.overturetool.core.testing/samples/2.6.5-SNAPSHOT/samples-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/documentation/pom.xml to org.overturetool/documentation/2.6.5-SNAPSHOT/documentation-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/combinatorialtesting/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.combinatorialtesting/2.6.5-SNAPSHOT/org.overture.ide.plugins.combinatorialtesting-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/combinatorialtesting/target/org.overture.ide.plugins.combinatorialtesting-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.combinatorialtesting/2.6.5-SNAPSHOT/org.overture.ide.plugins.combinatorialtesting-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/combinatorialtesting/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.combinatorialtesting/2.6.5-SNAPSHOT/org.overture.ide.plugins.combinatorialtesting-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/combinatorialtesting/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.combinatorialtesting/2.6.5-SNAPSHOT/org.overture.ide.plugins.combinatorialtesting-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/isagen/pom.xml to org.overturetool.core.codegen/isagen/2.6.5-SNAPSHOT/isagen-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/isagen/target/isagen-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/isagen/2.6.5-SNAPSHOT/isagen-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/isagen/target/isagen-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/isagen/2.6.5-SNAPSHOT/isagen-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/help/pom.xml to org.overturetool.ide/org.overture.ide.help/2.6.5-SNAPSHOT/org.overture.ide.help-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/help/target/org.overture.ide.help-2.6.5-SNAPSHOT.jar to org.overturetool.ide/org.overture.ide.help/2.6.5-SNAPSHOT/org.overture.ide.help-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/help/target/p2content.xml to org.overturetool.ide/org.overture.ide.help/2.6.5-SNAPSHOT/org.overture.ide.help-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/help/target/p2artifacts.xml to org.overturetool.ide/org.overture.ide.help/2.6.5-SNAPSHOT/org.overture.ide.help-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/ui/pom.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.ui-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/ui/target/org.overture.ide.vdmsl.ui-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.ui-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/ui/target/p2content.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.ui-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/ui/target/p2artifacts.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.ui-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testframework/pom.xml to org.overturetool.core/testframework/2.6.5-SNAPSHOT/testframework-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar to org.overturetool.core/testframework/2.6.5-SNAPSHOT/testframework-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core/testframework/2.6.5-SNAPSHOT/testframework-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/quickinterpreter/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.quickinterpreter/2.6.5-SNAPSHOT/org.overture.ide.plugins.quickinterpreter-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/quickinterpreter/target/org.overture.ide.plugins.quickinterpreter-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.quickinterpreter/2.6.5-SNAPSHOT/org.overture.ide.plugins.quickinterpreter-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/quickinterpreter/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.quickinterpreter/2.6.5-SNAPSHOT/org.overture.ide.plugins.quickinterpreter-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/quickinterpreter/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.quickinterpreter/2.6.5-SNAPSHOT/org.overture.ide.plugins.quickinterpreter-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/pom.xml to org.overturetool.core/codegen/2.6.5-SNAPSHOT/codegen-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/rttraceviewer/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.rttraceviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.rttraceviewer-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/rttraceviewer/target/org.overture.ide.plugins.rttraceviewer-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.rttraceviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.rttraceviewer-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/rttraceviewer/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.rttraceviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.rttraceviewer-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/rttraceviewer/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.rttraceviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.rttraceviewer-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/core/pom.xml to org.overturetool.ide.features/org.overture.ide.features.core/2.6.5-SNAPSHOT/org.overture.ide.features.core-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/core/target/org.overture.ide.features.core-2.6.5-SNAPSHOT.jar to org.overturetool.ide.features/org.overture.ide.features.core/2.6.5-SNAPSHOT/org.overture.ide.features.core-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/core/target/p2content.xml to org.overturetool.ide.features/org.overture.ide.features.core/2.6.5-SNAPSHOT/org.overture.ide.features.core-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/core/target/p2artifacts.xml to org.overturetool.ide.features/org.overture.ide.features.core/2.6.5-SNAPSHOT/org.overture.ide.features.core-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/poviewer/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.poviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/poviewer/target/org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.poviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/poviewer/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.poviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/poviewer/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.poviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/pom.xml to org.overturetool.core.codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/javagen-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/javagen/2.6.5-SNAPSHOT/javagen-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/coverageeditor/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.coverageeditor-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/coverageeditor/target/org.overture.ide.plugins.coverageeditor-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.coverageeditor-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/coverageeditor/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.coverageeditor-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/coverageeditor/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.coverageeditor-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/pom.xml to org.overturetool.core.codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/vdm2jml-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/vdm2jml-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/vdm2jml/2.6.5-SNAPSHOT/vdm2jml-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/rttraceviewer/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.rttraceviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/rttraceviewer/target/org.overture.ide.plugins.features.rttraceviewer-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.rttraceviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/rttraceviewer/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.rttraceviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/rttraceviewer/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.rttraceviewer/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/csk/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.csk/2.6.5-SNAPSHOT/org.overture.ide.plugins.csk-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/csk/target/org.overture.ide.plugins.csk-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.csk/2.6.5-SNAPSHOT/org.overture.ide.plugins.csk-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/csk/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.csk/2.6.5-SNAPSHOT/org.overture.ide.plugins.csk-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/csk/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.csk/2.6.5-SNAPSHOT/org.overture.ide.plugins.csk-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/developerutils/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.developerutils/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/developerutils/target/org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.developerutils/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/developerutils/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.developerutils/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/developerutils/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.developerutils/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/coverageeditor/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/coverageeditor/target/org.overture.ide.plugins.features.coverageeditor-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/coverageeditor/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/coverageeditor/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.coverageeditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/rcp/pom.xml to org.overturetool.ide.features/org.overture.ide.features.rcp/2.6.5-SNAPSHOT/org.overture.ide.features.rcp-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/rcp/target/org.overture.ide.features.rcp-2.6.5-SNAPSHOT.jar to org.overturetool.ide.features/org.overture.ide.features.rcp/2.6.5-SNAPSHOT/org.overture.ide.features.rcp-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/rcp/target/p2content.xml to org.overturetool.ide.features/org.overture.ide.features.rcp/2.6.5-SNAPSHOT/org.overture.ide.features.rcp-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/rcp/target/p2artifacts.xml to org.overturetool.ide.features/org.overture.ide.features.rcp/2.6.5-SNAPSHOT/org.overture.ide.features.rcp-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/rcp/target/org.overture.ide.features.rcp_root-2.6.5.201909061258-root.zip to org.overturetool.ide.features/org.overture.ide.features.rcp/2.6.5-SNAPSHOT/org.overture.ide.features.rcp-2.6.5-SNAPSHOT-root.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-maven-plugin/pom.xml to org.overturetool.core.codegen/codegen-plugin/2.6.5-SNAPSHOT/codegen-plugin-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/codegen-plugin/2.6.5-SNAPSHOT/codegen-plugin-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-maven-plugin/target/codegen-plugin-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/codegen-plugin/2.6.5-SNAPSHOT/codegen-plugin-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/pom.xml to org.overturetool.core.codegen/vdm2jml-runtime/2.6.5-SNAPSHOT/vdm2jml-runtime-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.6.5-SNAPSHOT/vdm2jml-runtime-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.6.5-SNAPSHOT/vdm2jml-runtime-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.6.5-SNAPSHOT-sources.jar to org.overturetool.core.codegen/vdm2jml-runtime/2.6.5-SNAPSHOT/vdm2jml-runtime-2.6.5-SNAPSHOT-sources.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/typechecker/pom.xml to org.overturetool.core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar to org.overturetool.core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core/typechecker/2.6.5-SNAPSHOT/typechecker-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/pom.xml to org.overturetool.core.codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/javagen-test-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/javagen-test/2.6.5-SNAPSHOT/javagen-test-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/pom.xml to org.overturetool.ide/org.overture.ide.vdmpp/2.6.5-SNAPSHOT/org.overture.ide.vdmpp-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/core/pom.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.core/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.core-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/core/target/org.overture.ide.vdmrt.core-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.core/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.core-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/core/target/p2content.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.core/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.core-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/core/target/p2artifacts.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.core/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.core-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/core/pom.xml to org.overturetool.ide/org.overture.ide.core/2.6.5-SNAPSHOT/org.overture.ide.core-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/core/target/org.overture.ide.core-2.6.5-SNAPSHOT.jar to org.overturetool.ide/org.overture.ide.core/2.6.5-SNAPSHOT/org.overture.ide.core-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/core/target/p2content.xml to org.overturetool.ide/org.overture.ide.core/2.6.5-SNAPSHOT/org.overture.ide.core-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/core/target/p2artifacts.xml to org.overturetool.ide/org.overture.ide.core/2.6.5-SNAPSHOT/org.overture.ide.core-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/builders/pom.xml to org.overturetool.ide/org.overture.ide.builders/2.6.5-SNAPSHOT/org.overture.ide.builders-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/pom.xml to org.overturetool.core.combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar to org.overturetool.core.combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.combinatorialtesting/ctruntime/2.6.5-SNAPSHOT/ctruntime-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.features/2.6.5-SNAPSHOT/org.overture.ide.plugins.features-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/debug/pom.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.debug-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/debug/target/org.overture.ide.vdmsl.debug-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.debug-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/debug/target/p2content.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.debug-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmsl/debug/target/p2artifacts.xml to org.overturetool.ide.vdmsl/org.overture.ide.vdmsl.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmsl.debug-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/pom.xml to org.overturetool.core.codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/codegen-runtime-2.6.5-SNAPSHOT-sources.jar to org.overturetool.core.codegen/codegen-runtime/2.6.5-SNAPSHOT/codegen-runtime-2.6.5-SNAPSHOT-sources.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/pom.xml to org.overturetool/core/2.6.5-SNAPSHOT/core-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/ast/pom.xml to org.overturetool.core/ast/2.6.5-SNAPSHOT/ast-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar to org.overturetool.core/ast/2.6.5-SNAPSHOT/ast-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core/ast/2.6.5-SNAPSHOT/ast-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/uml2/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.uml2/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.uml2-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/uml2/target/org.overture.ide.plugins.features.uml2-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.uml2/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.uml2-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/uml2/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.uml2/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.uml2-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/uml2/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.uml2/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.uml2-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/parsers/pom.xml to org.overturetool.ide/org.overture.ide.parsers/2.6.5-SNAPSHOT/org.overture.ide.parsers-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/ui/pom.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.ui-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/ui/target/org.overture.ide.vdmrt.ui-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.ui-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/ui/target/p2content.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.ui-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/ui/target/p2artifacts.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.ui-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/pom.xml to org.overturetool.core.prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar to org.overturetool.core.prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/ir/pom.xml to org.overturetool.core.codegen/ir/2.6.5-SNAPSHOT/ir-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/ir/2.6.5-SNAPSHOT/ir-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/ir/2.6.5-SNAPSHOT/ir-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/prettyprinting/npp/pom.xml to org.overturetool.core/npp/2.6.5-SNAPSHOT/npp-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/prettyprinting/npp/target/npp-2.6.5-SNAPSHOT.jar to org.overturetool.core/npp/2.6.5-SNAPSHOT/npp-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/prettyprinting/npp/target/npp-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core/npp/2.6.5-SNAPSHOT/npp-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/builders/vdmj/pom.xml to org.overturetool.ide.builders/org.overture.ide.builders.vdmj/2.6.5-SNAPSHOT/org.overture.ide.builders.vdmj-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/builders/vdmj/target/org.overture.ide.builders.vdmj-2.6.5-SNAPSHOT.jar to org.overturetool.ide.builders/org.overture.ide.builders.vdmj/2.6.5-SNAPSHOT/org.overture.ide.builders.vdmj-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/builders/vdmj/target/p2content.xml to org.overturetool.ide.builders/org.overture.ide.builders.vdmj/2.6.5-SNAPSHOT/org.overture.ide.builders.vdmj-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/builders/vdmj/target/p2artifacts.xml to org.overturetool.ide.builders/org.overture.ide.builders.vdmj/2.6.5-SNAPSHOT/org.overture.ide.builders.vdmj-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/core/pom.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.core/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.core-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/core/target/org.overture.ide.vdmpp.core-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.core/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.core-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/core/target/p2content.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.core/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.core-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/core/target/p2artifacts.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.core/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.core-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/pom.xml to org.overturetool.ide/org.overture.ide.plugins/2.6.5-SNAPSHOT/org.overture.ide.plugins-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/csk/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.csk/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/csk/target/org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.csk/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/csk/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.csk/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/csk/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.csk/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/commandline/pom.xml to org.overturetool.core/commandlinetool/2.6.5-SNAPSHOT/commandlinetool-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/commandline/target/commandlinetool-2.6.5-SNAPSHOT.jar to org.overturetool.core/commandlinetool/2.6.5-SNAPSHOT/commandlinetool-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/commandline/target/commandlinetool-2.6.5-SNAPSHOT-jar-with-dependencies.jar to org.overturetool.core/commandlinetool/2.6.5-SNAPSHOT/commandlinetool-2.6.5-SNAPSHOT-jar-with-dependencies.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/latex/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.latex/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.latex-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/latex/target/org.overture.ide.plugins.features.latex-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.latex/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.latex-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/latex/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.latex/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.latex-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/latex/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.latex/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.latex-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/debug/pom.xml to org.overturetool.ide/org.overture.ide.debug/2.6.5-SNAPSHOT/org.overture.ide.debug-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/debug/target/org.overture.ide.debug-2.6.5-SNAPSHOT.jar to org.overturetool.ide/org.overture.ide.debug/2.6.5-SNAPSHOT/org.overture.ide.debug-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/debug/target/p2content.xml to org.overturetool.ide/org.overture.ide.debug/2.6.5-SNAPSHOT/org.overture.ide.debug-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/debug/target/p2artifacts.xml to org.overturetool.ide/org.overture.ide.debug/2.6.5-SNAPSHOT/org.overture.ide.debug-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/pom.xml to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/org.overture.ide.product-2.6.5-SNAPSHOT.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86_64.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/p2artifacts.xml to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/p2content.xml to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-win32.win32.x86.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-win32.win32.x86_64.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86_64.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-linux.gtk.x86.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-linux.gtk.x86_64.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86_64.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/product/target/products/Overture-2.6.5-SNAPSHOT-macosx.cocoa.x86_64.zip to org.overturetool.ide/org.overture.ide.product/2.6.5-SNAPSHOT/org.overture.ide.product-2.6.5-SNAPSHOT-macosx.cocoa.x86_64.zip
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/testing/pom.xml to org.overturetool.core/testing/2.6.5-SNAPSHOT/testing-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/documentation/releasenotes/pom.xml to org.overturetool.documentation/releasenotes/2.6.5-SNAPSHOT/releasenotes-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/documentation/releasenotes/target/releasenotes-2.6.5-SNAPSHOT.jar to org.overturetool.documentation/releasenotes/2.6.5-SNAPSHOT/releasenotes-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/prettyprinting/pom.xml to org.overturetool.core/prettyprinting/2.6.5-SNAPSHOT/prettyprinting-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/platform/pom.xml to org.overturetool.core.codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar to org.overturetool.core.codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/quickinterpreter/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.quickinterpreter/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.quickinterpreter/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/quickinterpreter/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.quickinterpreter/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/quickinterpreter/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.quickinterpreter/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/ui/pom.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.ui-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/ui/target/org.overture.ide.vdmpp.ui-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.ui-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/ui/target/p2content.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.ui-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmpp/ui/target/p2artifacts.xml to org.overturetool.ide.vdmpp/org.overture.ide.vdmpp.ui/2.6.5-SNAPSHOT/org.overture.ide.vdmpp.ui-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/externaleditor/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.externaleditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.externaleditor-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/externaleditor/target/org.overture.ide.plugins.externaleditor-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.externaleditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.externaleditor-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/externaleditor/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.externaleditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.externaleditor-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/externaleditor/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.externaleditor/2.6.5-SNAPSHOT/org.overture.ide.plugins.externaleditor-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/externals/pom.xml to org.overturetool/externals/2.6.5-SNAPSHOT/externals-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/externals/target/externals-2.6.5-SNAPSHOT.jar to org.overturetool/externals/2.6.5-SNAPSHOT/externals-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/debug/pom.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.debug-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/debug/target/org.overture.ide.vdmrt.debug-2.6.5-SNAPSHOT.jar to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.debug-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/debug/target/p2content.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.debug-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/debug/target/p2artifacts.xml to org.overturetool.ide.vdmrt/org.overture.ide.vdmrt.debug/2.6.5-SNAPSHOT/org.overture.ide.vdmrt.debug-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/vdmrt/pom.xml to org.overturetool.ide/org.overture.ide.vdmrt/2.6.5-SNAPSHOT/org.overture.ide.vdmrt-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.uml2/2.6.5-SNAPSHOT/org.overture.ide.plugins.uml2-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2/target/org.overture.ide.plugins.uml2-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.uml2/2.6.5-SNAPSHOT/org.overture.ide.plugins.uml2-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.uml2/2.6.5-SNAPSHOT/org.overture.ide.plugins.uml2-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.uml2/2.6.5-SNAPSHOT/org.overture.ide.plugins.uml2-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/pom.xml to org.overturetool.core.combinatorialtesting/ctutils/2.6.5-SNAPSHOT/ctutils-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-2.6.5-SNAPSHOT.jar to org.overturetool.core.combinatorialtesting/ctutils/2.6.5-SNAPSHOT/ctutils-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core.combinatorialtesting/ctutils/2.6.5-SNAPSHOT/ctutils-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/combinatorialtesting/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.combinatorialtesting/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/combinatorialtesting/target/org.overture.ide.plugins.features.combinatorialtesting-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.combinatorialtesting/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/combinatorialtesting/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.combinatorialtesting/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/combinatorialtesting/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.combinatorialtesting/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/developerutils/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.developerutils/2.6.5-SNAPSHOT/org.overture.ide.plugins.developerutils-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/developerutils/target/org.overture.ide.plugins.developerutils-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.developerutils/2.6.5-SNAPSHOT/org.overture.ide.plugins.developerutils-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/developerutils/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.developerutils/2.6.5-SNAPSHOT/org.overture.ide.plugins.developerutils-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/developerutils/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.developerutils/2.6.5-SNAPSHOT/org.overture.ide.plugins.developerutils-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/javagen/pom.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.javagen/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.javagen-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/javagen/target/org.overture.ide.plugins.features.javagen-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.javagen/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.javagen-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/javagen/target/p2content.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.javagen/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.javagen-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/features/javagen/target/p2artifacts.xml to org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.javagen/2.6.5-SNAPSHOT/org.overture.ide.plugins.features.javagen-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/parsers/vdmj/pom.xml to org.overturetool.ide.parsers/org.overture.ide.parsers.vdmj/2.6.5-SNAPSHOT/org.overture.ide.parsers.vdmj-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/parsers/vdmj/target/org.overture.ide.parsers.vdmj-2.6.5-SNAPSHOT.jar to org.overturetool.ide.parsers/org.overture.ide.parsers.vdmj/2.6.5-SNAPSHOT/org.overture.ide.parsers.vdmj-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/parsers/vdmj/target/p2content.xml to org.overturetool.ide.parsers/org.overture.ide.parsers.vdmj/2.6.5-SNAPSHOT/org.overture.ide.parsers.vdmj-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/parsers/vdmj/target/p2artifacts.xml to org.overturetool.ide.parsers/org.overture.ide.parsers.vdmj/2.6.5-SNAPSHOT/org.overture.ide.parsers.vdmj-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/pog/pom.xml to org.overturetool.core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar to org.overturetool.core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/platform/pom.xml to org.overturetool.ide/org.overture.ide.platform/2.6.5-SNAPSHOT/org.overture.ide.platform-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/platform/target/org.overture.ide.platform-2.6.5-SNAPSHOT.jar to org.overturetool.ide/org.overture.ide.platform/2.6.5-SNAPSHOT/org.overture.ide.platform-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/platform/target/p2content.xml to org.overturetool.ide/org.overture.ide.platform/2.6.5-SNAPSHOT/org.overture.ide.platform-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/platform/target/p2artifacts.xml to org.overturetool.ide/org.overture.ide.platform/2.6.5-SNAPSHOT/org.overture.ide.platform-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/features/pom.xml to org.overturetool.ide/features/2.6.5-SNAPSHOT/features-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/javagen/pom.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.javagen/2.6.5-SNAPSHOT/org.overture.ide.plugins.javagen-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/javagen/target/org.overture.ide.plugins.javagen-2.6.5-SNAPSHOT.jar to org.overturetool.ide.plugins/org.overture.ide.plugins.javagen/2.6.5-SNAPSHOT/org.overture.ide.plugins.javagen-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/javagen/target/p2content.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.javagen/2.6.5-SNAPSHOT/org.overture.ide.plugins.javagen-2.6.5-SNAPSHOT-p2metadata.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/ide/plugins/javagen/target/p2artifacts.xml to org.overturetool.ide.plugins/org.overture.ide.plugins.javagen/2.6.5-SNAPSHOT/org.overture.ide.plugins.javagen-2.6.5-SNAPSHOT-p2artifacts.xml
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/parser/pom.xml to org.overturetool.core/parser/2.6.5-SNAPSHOT/parser-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar to org.overturetool.core/parser/2.6.5-SNAPSHOT/parser-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core/parser/2.6.5-SNAPSHOT/parser-2.6.5-SNAPSHOT-javadoc.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/interpreter/pom.xml to org.overturetool.core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT.pom
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar to org.overturetool.core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT.jar
[JENKINS] Archiving /var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT-javadoc.jar to org.overturetool.core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT-javadoc.jar
channel stopped
[WARNINGS] Parsing warnings in console log with parser Java Compiler (Eclipse)
No credentials specified
<Git Blamer> Using GitBlamer to create author and commit information for all warnings.
<Git Blamer> GIT_COMMIT=4a78623dcab00a126191df079b905a942ab227c5, workspace=/var/lib/jenkins/workspace/overture-test
 > /usr/bin/git rev-parse 4a78623dcab00a126191df079b905a942ab227c5^{commit} # timeout=10
[WARNINGS] Parsing warnings in console log with parser Maven
No credentials specified
<Git Blamer> Using GitBlamer to create author and commit information for all warnings.
<Git Blamer> GIT_COMMIT=4a78623dcab00a126191df079b905a942ab227c5, workspace=/var/lib/jenkins/workspace/overture-test
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
<Git Blamer> Skipping non-workspace file  (workspace = /var/lib/jenkins/workspace/overture-test, absolute = /.
 > /usr/bin/git rev-parse 4a78623dcab00a126191df079b905a942ab227c5^{commit} # timeout=10
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
<Git Blamer> Skipping file , no result found.
[WARNINGS] Computing warning deltas based on reference build #199
[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/overture-test/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/isapog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overture-test/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: **/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/ast/target/classes 463 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-maven-plugin/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target/classes 56 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/classes 399 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/isagen/target/classes 25 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target/classes 21 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target/classes 34 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes 185 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target/classes 1 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target/classes 37 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/classes 27 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/commandline/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/resources/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes 343 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/isapog/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/parser/target/classes 43 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/pog/target/classes 103 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/prettyprinting/npp/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/testing/framework/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/testing/samples/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/typechecker/src/test/resources/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/typechecker/target/classes 148 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/core/typechecker/target/test-classes/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/documentation/releasenotes/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/externals/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/builders/vdmj/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/core/target/classes 57 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/debug/target/classes 388 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/help/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/parsers/vdmj/target/classes 5 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/platform/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/combinatorialtesting/target/classes 83 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/coverageeditor/target/classes 13 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/csk/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/developerutils/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/externaleditor/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/javagen/target/classes 11 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/latex/target/classes 20 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/poviewer/target/classes 20 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/quickinterpreter/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/rttraceviewer/target/classes 62 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2/target/classes 25 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/product/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/ui/target/classes 169 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmpp/core/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmpp/debug/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmpp/ui/target/classes 12 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmrt/core/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmrt/debug/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmrt/ui/target/classes 15 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmsl/core/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmsl/debug/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overture-test/ide/vdmsl/ui/target/classes 12 files
[JaCoCo plugin] Saving matched source directories for source-pattern: **/src/main/java: 
[JaCoCo plugin] Source Inclusions: null
[JaCoCo plugin] Source Exclusions: null
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/ast/src/main/java 66 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-maven-plugin/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/src/main/java 52 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/cppgen/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/ir/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/isagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/src/main/java 34 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java 169 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/src/main/java 1 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/src/main/java 37 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java 287 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/isapog/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java 91 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/prettyprinting/npp/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/core/typechecker/src/main/java 132 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/builders/vdmj/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java 46 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java 287 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/help/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/parsers/vdmj/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/platform/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/combinatorialtesting/src/main/java 42 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/coverageeditor/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/csk/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/developerutils/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/externaleditor/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/isatrans/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/javagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/latex/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/poviewer/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/quickinterpreter/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/rttraceviewer/src/main/java 48 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2.tests/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2/src/main/java 15 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86/Overture/plugins/org.overture.ide.debug_2.6.5.201909061258/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86/Overture/plugins/org.overture.ide.help_2.6.5.201909061258/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86_64/Overture/plugins/org.overture.ide.debug_2.6.5.201909061258/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86_64/Overture/plugins/org.overture.ide.help_2.6.5.201909061258/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/macosx/cocoa/x86_64/Overture.app/Contents/Eclipse/plugins/org.overture.ide.debug_2.6.5.201909061258/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/macosx/cocoa/x86_64/Overture.app/Contents/Eclipse/plugins/org.overture.ide.help_2.6.5.201909061258/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86/Overture/plugins/org.overture.ide.debug_2.6.5.201909061258/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86/Overture/plugins/org.overture.ide.help_2.6.5.201909061258/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86_64/Overture/plugins/org.overture.ide.debug_2.6.5.201909061258/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86_64/Overture/plugins/org.overture.ide.help_2.6.5.201909061258/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/ui.tests/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java 117 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmpp/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmpp/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmpp/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmrt/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmrt/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmrt/ui/src/main/java 14 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmsl/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmsl/debug/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/ide/vdmsl/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overture-test/src/main/java 3 files
[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/**/*, org/overture/ast/definitions/**/]
[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: 78, method: 54, line: 55, branch: 45, instruction: 57
SSH: Connecting from host [overture-builder]
SSH: Connecting with configuration [overture.au.dk - overture builds] ...
SSH: Disconnecting configuration [overture.au.dk - overture builds] ...
SSH: Transferred 5 file(s)
[Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@58c441f6[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=213643,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/octet-stream], Date=[Fri, 06 Sep 2019 13:07:50 GMT], ETag=["78b5af60db7deec23f2a8d0ef50703aa"], Last-Modified=[Tue, 13 Aug 2019 15:30:32 GMT], OkHttp-Received-Millis=[1567775270521], OkHttp-Response-Source=[CONDITIONAL_CACHE 304], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1567775270313], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[304 Not Modified], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[A3EE:179DC:240D61B:2BC2A16:5D725A26], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[5000], X-RateLimit-Reset=[1567778870], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:4a78623) with context:overture-test
Setting commit status on GitHub for https://github.com/overturetool/overture/commit/4a78623dcab00a126191df079b905a942ab227c5
[JaCoCo plugin] Loading packages..
[JaCoCo plugin] Done.
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
No mail will be sent out, as 'overture-test #200' does not have a result yet. Please make sure you set a proper result in case of pipeline/build scripts.
Finished: SUCCESS