SuccessConsole Output

Skipping 2,376 KB.. Full Log
arget/ast-2.7.2.jar under org/overturetool/core/ast/2.7.2/ast-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-2.7.2-javadoc.jar under org/overturetool/core/ast/2.7.2/ast-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/pom.xml under org/overturetool/core/testframework/2.7.2/testframework-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-2.7.2.jar under org/overturetool/core/testframework/2.7.2/testframework-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-2.7.2-javadoc.jar under org/overturetool/core/testframework/2.7.2/testframework-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/pom.xml under org/overturetool/core/parser/2.7.2/parser-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-2.7.2.jar under org/overturetool/core/parser/2.7.2/parser-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-2.7.2-javadoc.jar under org/overturetool/core/parser/2.7.2/parser-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/pom.xml under org/overturetool/core/typechecker/2.7.2/typechecker-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-2.7.2.jar under org/overturetool/core/typechecker/2.7.2/typechecker-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-2.7.2-javadoc.jar under org/overturetool/core/typechecker/2.7.2/typechecker-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/pom.xml under org/overturetool/core/testing/2.7.2/testing-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/pom.xml under org/overturetool/core/testing/framework/2.7.2/framework-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-2.7.2.jar under org/overturetool/core/testing/framework/2.7.2/framework-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-2.7.2-javadoc.jar under org/overturetool/core/testing/framework/2.7.2/framework-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/samples/pom.xml under org/overturetool/core/testing/samples/2.7.2/samples-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/samples/target/samples-2.7.2.jar under org/overturetool/core/testing/samples/2.7.2/samples-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/pom.xml under org/overturetool/core/prettyprinting/2.7.2/prettyprinting-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/pom.xml under org/overturetool/core/prettyprinting/prettyprinter/2.7.2/prettyprinter-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/target/prettyprinter-2.7.2.jar under org/overturetool/core/prettyprinting/prettyprinter/2.7.2/prettyprinter-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/target/prettyprinter-2.7.2-javadoc.jar under org/overturetool/core/prettyprinting/prettyprinter/2.7.2/prettyprinter-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/pog/pom.xml under org/overturetool/core/pog/2.7.2/pog-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/pog/target/pog-2.7.2.jar under org/overturetool/core/pog/2.7.2/pog-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/pog/target/pog-2.7.2-javadoc.jar under org/overturetool/core/pog/2.7.2/pog-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/interpreter/pom.xml under org/overturetool/core/interpreter/2.7.2/interpreter-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/interpreter/target/interpreter-2.7.2.jar under org/overturetool/core/interpreter/2.7.2/interpreter-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/interpreter/target/interpreter-2.7.2-javadoc.jar under org/overturetool/core/interpreter/2.7.2/interpreter-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/pom.xml under org/overturetool/core/combinatorialtesting/2.7.2/combinatorialtesting-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/pom.xml under org/overturetool/core/combinatorialtesting/ctutils/2.7.2/ctutils-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/target/ctutils-2.7.2.jar under org/overturetool/core/combinatorialtesting/ctutils/2.7.2/ctutils-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/target/ctutils-2.7.2-javadoc.jar under org/overturetool/core/combinatorialtesting/ctutils/2.7.2/ctutils-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/pom.xml under org/overturetool/core/combinatorialtesting/ctruntime/2.7.2/ctruntime-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/target/ctruntime-2.7.2.jar under org/overturetool/core/combinatorialtesting/ctruntime/2.7.2/ctruntime-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/target/ctruntime-2.7.2-javadoc.jar under org/overturetool/core/combinatorialtesting/ctruntime/2.7.2/ctruntime-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/pom.xml under org/overturetool/core/npp/2.7.2/npp-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/target/npp-2.7.2.jar under org/overturetool/core/npp/2.7.2/npp-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/target/npp-2.7.2-javadoc.jar under org/overturetool/core/npp/2.7.2/npp-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/commandline/pom.xml under org/overturetool/core/commandlinetool/2.7.2/commandlinetool-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/commandline/target/commandlinetool-2.7.2.jar under org/overturetool/core/commandlinetool/2.7.2/commandlinetool-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/commandline/target/commandlinetool-2.7.2-jar-with-dependencies.jar under org/overturetool/core/commandlinetool/2.7.2/commandlinetool-2.7.2-jar-with-dependencies.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/pom.xml under org/overturetool/core/codegen/2.7.2/codegen-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/pom.xml under org/overturetool/core/codegen/ir/2.7.2/ir-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/target/ir-2.7.2.jar under org/overturetool/core/codegen/ir/2.7.2/ir-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/target/ir-2.7.2-javadoc.jar under org/overturetool/core/codegen/ir/2.7.2/ir-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/pom.xml under org/overturetool/core/codegen/platform/2.7.2/platform-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/target/platform-2.7.2.jar under org/overturetool/core/codegen/platform/2.7.2/platform-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/target/platform-2.7.2-javadoc.jar under org/overturetool/core/codegen/platform/2.7.2/platform-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/pom.xml under org/overturetool/core/codegen/codegen-runtime/2.7.2/codegen-runtime-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-2.7.2.jar under org/overturetool/core/codegen/codegen-runtime/2.7.2/codegen-runtime-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-2.7.2-javadoc.jar under org/overturetool/core/codegen/codegen-runtime/2.7.2/codegen-runtime-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-2.7.2-sources.jar under org/overturetool/core/codegen/codegen-runtime/2.7.2/codegen-runtime-2.7.2-sources.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/pom.xml under org/overturetool/core/codegen/javagen-test/2.7.2/javagen-test-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/target/javagen-test-2.7.2.jar under org/overturetool/core/codegen/javagen-test/2.7.2/javagen-test-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/target/javagen-test-2.7.2-javadoc.jar under org/overturetool/core/codegen/javagen-test/2.7.2/javagen-test-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen/pom.xml under org/overturetool/core/codegen/javagen/2.7.2/javagen-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen/target/javagen-2.7.2.jar under org/overturetool/core/codegen/javagen/2.7.2/javagen-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen/target/javagen-2.7.2-javadoc.jar under org/overturetool/core/codegen/javagen/2.7.2/javagen-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml-runtime/pom.xml under org/overturetool/core/codegen/vdm2jml-runtime/2.7.2/vdm2jml-runtime-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.2.jar under org/overturetool/core/codegen/vdm2jml-runtime/2.7.2/vdm2jml-runtime-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.2-javadoc.jar under org/overturetool/core/codegen/vdm2jml-runtime/2.7.2/vdm2jml-runtime-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-2.7.2-sources.jar under org/overturetool/core/codegen/vdm2jml-runtime/2.7.2/vdm2jml-runtime-2.7.2-sources.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml/pom.xml under org/overturetool/core/codegen/vdm2jml/2.7.2/vdm2jml-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml/target/vdm2jml-2.7.2.jar under org/overturetool/core/codegen/vdm2jml/2.7.2/vdm2jml-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml/target/vdm2jml-2.7.2-javadoc.jar under org/overturetool/core/codegen/vdm2jml/2.7.2/vdm2jml-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-maven-plugin/pom.xml under org/overturetool/core/codegen/codegen-plugin/2.7.2/codegen-plugin-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.2.jar under org/overturetool/core/codegen/codegen-plugin/2.7.2/codegen-plugin-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-maven-plugin/target/codegen-plugin-2.7.2-javadoc.jar under org/overturetool/core/codegen/codegen-plugin/2.7.2/codegen-plugin-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/isagen/pom.xml under org/overturetool/core/codegen/isagen/2.7.2/isagen-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/isagen/target/isagen-2.7.2.jar under org/overturetool/core/codegen/isagen/2.7.2/isagen-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/isagen/target/isagen-2.7.2-javadoc.jar under org/overturetool/core/codegen/isagen/2.7.2/isagen-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/isapog/pom.xml under org/overturetool/core/isapog/2.7.2/isapog-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/isapog/target/isapog-2.7.2.jar under org/overturetool/core/isapog/2.7.2/isapog-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/isapog/target/isapog-2.7.2-javadoc.jar under org/overturetool/core/isapog/2.7.2/isapog-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/annotations/pom.xml under org/overturetool/core/annotations/2.7.2/annotations-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/annotations/provided/pom.xml under org/overturetool/core/annotations/provided/2.7.2/provided-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/annotations/provided/target/provided-2.7.2.jar under org/overturetool/core/annotations/provided/2.7.2/provided-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/annotations/provided/target/provided-2.7.2-javadoc.jar under org/overturetool/core/annotations/provided/2.7.2/provided-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/annotations/examples/pom.xml under org/overturetool/core/annotations/examples/2.7.2/examples-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact core/annotations/examples/target/examples-2.7.2.jar under org/overturetool/core/annotations/examples/2.7.2/examples-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact core/annotations/examples/target/examples-2.7.2-javadoc.jar under org/overturetool/core/annotations/examples/2.7.2/examples-2.7.2-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact documentation/pom.xml under org/overturetool/documentation/2.7.2/documentation-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact documentation/releasenotes/pom.xml under org/overturetool/documentation/releasenotes/2.7.2/releasenotes-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact documentation/releasenotes/target/releasenotes-2.7.2.jar under org/overturetool/documentation/releasenotes/2.7.2/releasenotes-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/pom.xml under org/overturetool/ide/2.7.2/ide-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/core/pom.xml under org/overturetool/ide/org.overture.ide.core/2.7.2/org.overture.ide.core-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/core/target/org.overture.ide.core-2.7.2.jar under org/overturetool/ide/org.overture.ide.core/2.7.2/org.overture.ide.core-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/core/target/p2content.xml under org/overturetool/ide/org.overture.ide.core/2.7.2/org.overture.ide.core-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/core/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.core/2.7.2/org.overture.ide.core-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/builders/pom.xml under org/overturetool/ide/org.overture.ide.builders/2.7.2/org.overture.ide.builders-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/builders/vdmj/pom.xml under org/overturetool/ide/builders/org.overture.ide.builders.vdmj/2.7.2/org.overture.ide.builders.vdmj-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/builders/vdmj/target/org.overture.ide.builders.vdmj-2.7.2.jar under org/overturetool/ide/builders/org.overture.ide.builders.vdmj/2.7.2/org.overture.ide.builders.vdmj-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/builders/vdmj/target/p2content.xml under org/overturetool/ide/builders/org.overture.ide.builders.vdmj/2.7.2/org.overture.ide.builders.vdmj-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/builders/vdmj/target/p2artifacts.xml under org/overturetool/ide/builders/org.overture.ide.builders.vdmj/2.7.2/org.overture.ide.builders.vdmj-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/ui/pom.xml under org/overturetool/ide/org.overture.ide.ui/2.7.2/org.overture.ide.ui-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/ui/target/org.overture.ide.ui-2.7.2.jar under org/overturetool/ide/org.overture.ide.ui/2.7.2/org.overture.ide.ui-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/ui/target/p2content.xml under org/overturetool/ide/org.overture.ide.ui/2.7.2/org.overture.ide.ui-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/ui/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.ui/2.7.2/org.overture.ide.ui-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/parsers/pom.xml under org/overturetool/ide/org.overture.ide.parsers/2.7.2/org.overture.ide.parsers-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/parsers/vdmj/pom.xml under org/overturetool/ide/parsers/org.overture.ide.parsers.vdmj/2.7.2/org.overture.ide.parsers.vdmj-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/parsers/vdmj/target/org.overture.ide.parsers.vdmj-2.7.2.jar under org/overturetool/ide/parsers/org.overture.ide.parsers.vdmj/2.7.2/org.overture.ide.parsers.vdmj-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/parsers/vdmj/target/p2content.xml under org/overturetool/ide/parsers/org.overture.ide.parsers.vdmj/2.7.2/org.overture.ide.parsers.vdmj-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/parsers/vdmj/target/p2artifacts.xml under org/overturetool/ide/parsers/org.overture.ide.parsers.vdmj/2.7.2/org.overture.ide.parsers.vdmj-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/debug/pom.xml under org/overturetool/ide/org.overture.ide.debug/2.7.2/org.overture.ide.debug-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/debug/target/org.overture.ide.debug-2.7.2.jar under org/overturetool/ide/org.overture.ide.debug/2.7.2/org.overture.ide.debug-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/debug/target/p2content.xml under org/overturetool/ide/org.overture.ide.debug/2.7.2/org.overture.ide.debug-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/debug/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.debug/2.7.2/org.overture.ide.debug-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/pom.xml under org/overturetool/ide/org.overture.ide.vdmsl/2.7.2/org.overture.ide.vdmsl-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/core/pom.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.core/2.7.2/org.overture.ide.vdmsl.core-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/core/target/org.overture.ide.vdmsl.core-2.7.2.jar under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.core/2.7.2/org.overture.ide.vdmsl.core-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/core/target/p2content.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.core/2.7.2/org.overture.ide.vdmsl.core-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/core/target/p2artifacts.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.core/2.7.2/org.overture.ide.vdmsl.core-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/ui/pom.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.ui/2.7.2/org.overture.ide.vdmsl.ui-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/ui/target/org.overture.ide.vdmsl.ui-2.7.2.jar under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.ui/2.7.2/org.overture.ide.vdmsl.ui-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/ui/target/p2content.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.ui/2.7.2/org.overture.ide.vdmsl.ui-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/ui/target/p2artifacts.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.ui/2.7.2/org.overture.ide.vdmsl.ui-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/debug/pom.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.debug/2.7.2/org.overture.ide.vdmsl.debug-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/debug/target/org.overture.ide.vdmsl.debug-2.7.2.jar under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.debug/2.7.2/org.overture.ide.vdmsl.debug-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/debug/target/p2content.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.debug/2.7.2/org.overture.ide.vdmsl.debug-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/debug/target/p2artifacts.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.debug/2.7.2/org.overture.ide.vdmsl.debug-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/pom.xml under org/overturetool/ide/org.overture.ide.vdmpp/2.7.2/org.overture.ide.vdmpp-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/core/pom.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.core/2.7.2/org.overture.ide.vdmpp.core-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/core/target/org.overture.ide.vdmpp.core-2.7.2.jar under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.core/2.7.2/org.overture.ide.vdmpp.core-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/core/target/p2content.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.core/2.7.2/org.overture.ide.vdmpp.core-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/core/target/p2artifacts.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.core/2.7.2/org.overture.ide.vdmpp.core-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/ui/pom.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.ui/2.7.2/org.overture.ide.vdmpp.ui-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/ui/target/org.overture.ide.vdmpp.ui-2.7.2.jar under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.ui/2.7.2/org.overture.ide.vdmpp.ui-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/ui/target/p2content.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.ui/2.7.2/org.overture.ide.vdmpp.ui-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/ui/target/p2artifacts.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.ui/2.7.2/org.overture.ide.vdmpp.ui-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/debug/pom.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.debug/2.7.2/org.overture.ide.vdmpp.debug-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/debug/target/org.overture.ide.vdmpp.debug-2.7.2.jar under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.debug/2.7.2/org.overture.ide.vdmpp.debug-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/debug/target/p2content.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.debug/2.7.2/org.overture.ide.vdmpp.debug-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/debug/target/p2artifacts.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.debug/2.7.2/org.overture.ide.vdmpp.debug-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/pom.xml under org/overturetool/ide/org.overture.ide.vdmrt/2.7.2/org.overture.ide.vdmrt-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/core/pom.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.core/2.7.2/org.overture.ide.vdmrt.core-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/core/target/org.overture.ide.vdmrt.core-2.7.2.jar under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.core/2.7.2/org.overture.ide.vdmrt.core-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/core/target/p2content.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.core/2.7.2/org.overture.ide.vdmrt.core-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/core/target/p2artifacts.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.core/2.7.2/org.overture.ide.vdmrt.core-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/ui/pom.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.ui/2.7.2/org.overture.ide.vdmrt.ui-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/ui/target/org.overture.ide.vdmrt.ui-2.7.2.jar under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.ui/2.7.2/org.overture.ide.vdmrt.ui-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/ui/target/p2content.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.ui/2.7.2/org.overture.ide.vdmrt.ui-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/ui/target/p2artifacts.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.ui/2.7.2/org.overture.ide.vdmrt.ui-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/debug/pom.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/2.7.2/org.overture.ide.vdmrt.debug-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/debug/target/org.overture.ide.vdmrt.debug-2.7.2.jar under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/2.7.2/org.overture.ide.vdmrt.debug-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/debug/target/p2content.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/2.7.2/org.overture.ide.vdmrt.debug-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/debug/target/p2artifacts.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/2.7.2/org.overture.ide.vdmrt.debug-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/help/pom.xml under org/overturetool/ide/org.overture.ide.help/2.7.2/org.overture.ide.help-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/help/target/org.overture.ide.help-2.7.2.jar under org/overturetool/ide/org.overture.ide.help/2.7.2/org.overture.ide.help-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/help/target/p2content.xml under org/overturetool/ide/org.overture.ide.help/2.7.2/org.overture.ide.help-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/help/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.help/2.7.2/org.overture.ide.help-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/pom.xml under org/overturetool/ide/org.overture.ide.plugins/2.7.2/org.overture.ide.plugins-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/externaleditor/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.externaleditor/2.7.2/org.overture.ide.plugins.externaleditor-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/externaleditor/target/org.overture.ide.plugins.externaleditor-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.externaleditor/2.7.2/org.overture.ide.plugins.externaleditor-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/externaleditor/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.externaleditor/2.7.2/org.overture.ide.plugins.externaleditor-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/externaleditor/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.externaleditor/2.7.2/org.overture.ide.plugins.externaleditor-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/coverageeditor/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.coverageeditor/2.7.2/org.overture.ide.plugins.coverageeditor-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/coverageeditor/target/org.overture.ide.plugins.coverageeditor-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.coverageeditor/2.7.2/org.overture.ide.plugins.coverageeditor-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/coverageeditor/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.coverageeditor/2.7.2/org.overture.ide.plugins.coverageeditor-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/coverageeditor/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.coverageeditor/2.7.2/org.overture.ide.plugins.coverageeditor-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/csk/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.csk/2.7.2/org.overture.ide.plugins.csk-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/csk/target/org.overture.ide.plugins.csk-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.csk/2.7.2/org.overture.ide.plugins.csk-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/csk/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.csk/2.7.2/org.overture.ide.plugins.csk-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/csk/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.csk/2.7.2/org.overture.ide.plugins.csk-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/quickinterpreter/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.quickinterpreter/2.7.2/org.overture.ide.plugins.quickinterpreter-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/quickinterpreter/target/org.overture.ide.plugins.quickinterpreter-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.quickinterpreter/2.7.2/org.overture.ide.plugins.quickinterpreter-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/quickinterpreter/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.quickinterpreter/2.7.2/org.overture.ide.plugins.quickinterpreter-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/quickinterpreter/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.quickinterpreter/2.7.2/org.overture.ide.plugins.quickinterpreter-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/latex/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.latex/2.7.2/org.overture.ide.plugins.latex-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/latex/target/org.overture.ide.plugins.latex-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.latex/2.7.2/org.overture.ide.plugins.latex-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/latex/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.latex/2.7.2/org.overture.ide.plugins.latex-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/latex/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.latex/2.7.2/org.overture.ide.plugins.latex-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/poviewer/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.poviewer/2.7.2/org.overture.ide.plugins.poviewer-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/poviewer/target/org.overture.ide.plugins.poviewer-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.poviewer/2.7.2/org.overture.ide.plugins.poviewer-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/poviewer/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.poviewer/2.7.2/org.overture.ide.plugins.poviewer-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/poviewer/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.poviewer/2.7.2/org.overture.ide.plugins.poviewer-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/combinatorialtesting/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.combinatorialtesting/2.7.2/org.overture.ide.plugins.combinatorialtesting-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/combinatorialtesting/target/org.overture.ide.plugins.combinatorialtesting-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.combinatorialtesting/2.7.2/org.overture.ide.plugins.combinatorialtesting-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/combinatorialtesting/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.combinatorialtesting/2.7.2/org.overture.ide.plugins.combinatorialtesting-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/combinatorialtesting/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.combinatorialtesting/2.7.2/org.overture.ide.plugins.combinatorialtesting-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/developerutils/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.developerutils/2.7.2/org.overture.ide.plugins.developerutils-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/developerutils/target/org.overture.ide.plugins.developerutils-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.developerutils/2.7.2/org.overture.ide.plugins.developerutils-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/developerutils/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.developerutils/2.7.2/org.overture.ide.plugins.developerutils-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/developerutils/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.developerutils/2.7.2/org.overture.ide.plugins.developerutils-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/uml2/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.uml2/2.7.2/org.overture.ide.plugins.uml2-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/uml2/target/org.overture.ide.plugins.uml2-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.uml2/2.7.2/org.overture.ide.plugins.uml2-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/uml2/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.uml2/2.7.2/org.overture.ide.plugins.uml2-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/uml2/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.uml2/2.7.2/org.overture.ide.plugins.uml2-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/rttraceviewer/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.rttraceviewer/2.7.2/org.overture.ide.plugins.rttraceviewer-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/rttraceviewer/target/org.overture.ide.plugins.rttraceviewer-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.rttraceviewer/2.7.2/org.overture.ide.plugins.rttraceviewer-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/rttraceviewer/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.rttraceviewer/2.7.2/org.overture.ide.plugins.rttraceviewer-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/rttraceviewer/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.rttraceviewer/2.7.2/org.overture.ide.plugins.rttraceviewer-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/javagen/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.javagen/2.7.2/org.overture.ide.plugins.javagen-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/javagen/target/org.overture.ide.plugins.javagen-2.7.2.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.javagen/2.7.2/org.overture.ide.plugins.javagen-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/javagen/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.javagen/2.7.2/org.overture.ide.plugins.javagen-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/javagen/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.javagen/2.7.2/org.overture.ide.plugins.javagen-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.features/2.7.2/org.overture.ide.plugins.features-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/platform/pom.xml under org/overturetool/ide/org.overture.ide.platform/2.7.2/org.overture.ide.platform-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/platform/target/org.overture.ide.platform-2.7.2.jar under org/overturetool/ide/org.overture.ide.platform/2.7.2/org.overture.ide.platform-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/platform/target/p2content.xml under org/overturetool/ide/org.overture.ide.platform/2.7.2/org.overture.ide.platform-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/platform/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.platform/2.7.2/org.overture.ide.platform-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/pom.xml under org/overturetool/ide/features/2.7.2/features-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/features/core/pom.xml under org/overturetool/ide/features/org.overture.ide.features.core/2.7.2/org.overture.ide.features.core-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/features/core/target/org.overture.ide.features.core-2.7.2.jar under org/overturetool/ide/features/org.overture.ide.features.core/2.7.2/org.overture.ide.features.core-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/features/core/target/p2content.xml under org/overturetool/ide/features/org.overture.ide.features.core/2.7.2/org.overture.ide.features.core-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/core/target/p2artifacts.xml under org/overturetool/ide/features/org.overture.ide.features.core/2.7.2/org.overture.ide.features.core-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/coverageeditor/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.7.2/org.overture.ide.plugins.features.coverageeditor-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/coverageeditor/target/org.overture.ide.plugins.features.coverageeditor-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.7.2/org.overture.ide.plugins.features.coverageeditor-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/coverageeditor/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.7.2/org.overture.ide.plugins.features.coverageeditor-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/coverageeditor/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/2.7.2/org.overture.ide.plugins.features.coverageeditor-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/csk/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/2.7.2/org.overture.ide.plugins.features.csk-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/csk/target/org.overture.ide.plugins.features.csk-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/2.7.2/org.overture.ide.plugins.features.csk-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/csk/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/2.7.2/org.overture.ide.plugins.features.csk-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/csk/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/2.7.2/org.overture.ide.plugins.features.csk-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/combinatorialtesting/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/2.7.2/org.overture.ide.plugins.features.combinatorialtesting-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/combinatorialtesting/target/org.overture.ide.plugins.features.combinatorialtesting-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/2.7.2/org.overture.ide.plugins.features.combinatorialtesting-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/combinatorialtesting/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/2.7.2/org.overture.ide.plugins.features.combinatorialtesting-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/combinatorialtesting/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/2.7.2/org.overture.ide.plugins.features.combinatorialtesting-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/developerutils/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/2.7.2/org.overture.ide.plugins.features.developerutils-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/developerutils/target/org.overture.ide.plugins.features.developerutils-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/2.7.2/org.overture.ide.plugins.features.developerutils-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/developerutils/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/2.7.2/org.overture.ide.plugins.features.developerutils-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/developerutils/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/2.7.2/org.overture.ide.plugins.features.developerutils-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/latex/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/2.7.2/org.overture.ide.plugins.features.latex-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/latex/target/org.overture.ide.plugins.features.latex-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/2.7.2/org.overture.ide.plugins.features.latex-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/latex/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/2.7.2/org.overture.ide.plugins.features.latex-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/latex/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/2.7.2/org.overture.ide.plugins.features.latex-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/poviewer/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/2.7.2/org.overture.ide.plugins.features.poviewer-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/poviewer/target/org.overture.ide.plugins.features.poviewer-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/2.7.2/org.overture.ide.plugins.features.poviewer-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/poviewer/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/2.7.2/org.overture.ide.plugins.features.poviewer-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/poviewer/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/2.7.2/org.overture.ide.plugins.features.poviewer-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/quickinterpreter/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.7.2/org.overture.ide.plugins.features.quickinterpreter-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.7.2/org.overture.ide.plugins.features.quickinterpreter-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/quickinterpreter/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.7.2/org.overture.ide.plugins.features.quickinterpreter-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/quickinterpreter/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/2.7.2/org.overture.ide.plugins.features.quickinterpreter-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/uml2/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/2.7.2/org.overture.ide.plugins.features.uml2-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/uml2/target/org.overture.ide.plugins.features.uml2-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/2.7.2/org.overture.ide.plugins.features.uml2-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/uml2/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/2.7.2/org.overture.ide.plugins.features.uml2-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/uml2/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/2.7.2/org.overture.ide.plugins.features.uml2-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/rttraceviewer/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/2.7.2/org.overture.ide.plugins.features.rttraceviewer-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/rttraceviewer/target/org.overture.ide.plugins.features.rttraceviewer-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/2.7.2/org.overture.ide.plugins.features.rttraceviewer-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/rttraceviewer/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/2.7.2/org.overture.ide.plugins.features.rttraceviewer-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/rttraceviewer/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/2.7.2/org.overture.ide.plugins.features.rttraceviewer-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/javagen/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/2.7.2/org.overture.ide.plugins.features.javagen-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/javagen/target/org.overture.ide.plugins.features.javagen-2.7.2.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/2.7.2/org.overture.ide.plugins.features.javagen-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/javagen/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/2.7.2/org.overture.ide.plugins.features.javagen-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/javagen/target/p2artifacts.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/2.7.2/org.overture.ide.plugins.features.javagen-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/pom.xml under org/overturetool/ide/features/org.overture.ide.features.rcp/2.7.2/org.overture.ide.features.rcp-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/target/org.overture.ide.features.rcp-2.7.2.jar under org/overturetool/ide/features/org.overture.ide.features.rcp/2.7.2/org.overture.ide.features.rcp-2.7.2.jar
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/target/p2content.xml under org/overturetool/ide/features/org.overture.ide.features.rcp/2.7.2/org.overture.ide.features.rcp-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/target/p2artifacts.xml under org/overturetool/ide/features/org.overture.ide.features.rcp/2.7.2/org.overture.ide.features.rcp-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/target/org.overture.ide.features.rcp_root-2.7.2-root.zip under org/overturetool/ide/features/org.overture.ide.features.rcp/2.7.2/org.overture.ide.features.rcp-2.7.2-root.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/pom.xml under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2.pom
[withMaven] artifactsPublisher - Archive artifact ide/product/target/org.overture.ide.product-2.7.2.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.gtk.linux.x86.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.win32.win32.x86.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86_64.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/product/target/p2content.xml under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/product/target/products/Overture-2.7.2-win32.win32.x86.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-win32.win32.x86.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/products/Overture-2.7.2-win32.win32.x86_64.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-win32.win32.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/products/Overture-2.7.2-linux.gtk.x86.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-linux.gtk.x86.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/products/Overture-2.7.2-linux.gtk.x86_64.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-linux.gtk.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/products/Overture-2.7.2-macosx.cocoa.x86_64.zip under org/overturetool/ide/org.overture.ide.product/2.7.2/org.overture.ide.product-2.7.2-macosx.cocoa.x86_64.zip
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool:externals:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): externals/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:ast:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/ast/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:testframework:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/testframework/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:parser:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/parser/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:typechecker:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/typechecker/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.testing:framework:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/testing/framework/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.testing:samples:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/testing/samples/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.prettyprinting:prettyprinter:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/prettyprinting/prettyprinter/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:pog:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/pog/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:interpreter:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/interpreter/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.combinatorialtesting:ctutils:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/combinatorialtesting/ctutils/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.combinatorialtesting:ctruntime:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/combinatorialtesting/ctruntime/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:npp:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/prettyprinting/npp/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:commandlinetool:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/commandline/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:ir:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/ir/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:platform:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/platform/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:codegen-runtime:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/codegen-runtime/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:javagen-test:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/javagen-test/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:javagen:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/javagen/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:vdm2jml-runtime:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/vdm2jml-runtime/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:vdm2jml:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/vdm2jml/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:codegen-plugin:maven-plugin:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/codegen-maven-plugin/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.codegen:isagen:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/codegen/isagen/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:isapog:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/isapog/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.annotations:provided:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/annotations/provided/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.annotations:examples:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): core/annotations/examples/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.documentation:releasenotes:jar:2.7.2 generated by maven-surefire-plugin:test (default-test): documentation/releasenotes/target/surefire-reports/*.xml
[withMaven] junitPublisher - Jenkins JUnit Attachments Plugin not found, can't publish test attachments.Recording test results
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:root:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: target/coverage-reports/jacoco-unit.exec, sources: src/main/java, classes: target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:externals:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: externals/target/coverage-reports/jacoco-unit.exec, sources: externals/src/main/java, classes: externals/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:core:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/target/coverage-reports/jacoco-unit.exec, sources: core/src/main/java, classes: core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:ast:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/ast/target/coverage-reports/jacoco-unit.exec, sources: core/ast/src/main/java, classes: core/ast/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:testframework:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testframework/target/coverage-reports/jacoco-unit.exec, sources: core/testframework/src/main/java, classes: core/testframework/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:parser:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/parser/target/coverage-reports/jacoco-unit.exec, sources: core/parser/src/main/java, classes: core/parser/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:typechecker:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/typechecker/target/coverage-reports/jacoco-unit.exec, sources: core/typechecker/src/main/java, classes: core/typechecker/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:testing:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/target/coverage-reports/jacoco-unit.exec, sources: core/testing/src/main/java, classes: core/testing/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.testing:framework:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/framework/target/coverage-reports/jacoco-unit.exec, sources: core/testing/framework/src/main/java, classes: core/testing/framework/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.testing:samples:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/samples/target/coverage-reports/jacoco-unit.exec, sources: core/testing/samples/src/main/java, classes: core/testing/samples/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:prettyprinting:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/prettyprinting/target/coverage-reports/jacoco-unit.exec, sources: core/prettyprinting/src/main/java, classes: core/prettyprinting/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.prettyprinting:prettyprinter:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec, sources: core/prettyprinting/prettyprinter/src/main/java, classes: core/prettyprinting/prettyprinter/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:pog:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/pog/target/coverage-reports/jacoco-unit.exec, sources: core/pog/src/main/java, classes: core/pog/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:interpreter:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/interpreter/target/coverage-reports/jacoco-unit.exec, sources: core/interpreter/src/main/java, classes: core/interpreter/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:combinatorialtesting:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec, sources: core/combinatorialtesting/src/main/java, classes: core/combinatorialtesting/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.combinatorialtesting:ctutils:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec, sources: core/combinatorialtesting/ctutils/src/main/java, classes: core/combinatorialtesting/ctutils/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.combinatorialtesting:ctruntime:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec, sources: core/combinatorialtesting/ctruntime/src/main/java, classes: core/combinatorialtesting/ctruntime/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:npp:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec, sources: core/prettyprinting/npp/src/main/java, classes: core/prettyprinting/npp/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:commandlinetool:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/commandline/target/coverage-reports/jacoco-unit.exec, sources: core/commandline/src/main/java, classes: core/commandline/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:codegen:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/src/main/java, classes: core/codegen/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:ir:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/ir/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/ir/src/main/java, classes: core/codegen/ir/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:platform:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/platform/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/platform/src/main/java, classes: core/codegen/platform/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:codegen-runtime:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/codegen-runtime/src/main/java, classes: core/codegen/codegen-runtime/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:javagen-test:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/javagen-test/src/main/java, classes: core/codegen/javagen-test/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:javagen:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/javagen/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/javagen/src/main/java, classes: core/codegen/javagen/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:vdm2jml-runtime:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/vdm2jml-runtime/src/main/java, classes: core/codegen/vdm2jml-runtime/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:vdm2jml:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/vdm2jml/src/main/java, classes: core/codegen/vdm2jml/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:codegen-plugin:maven-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/codegen-maven-plugin/src/main/java, classes: core/codegen/codegen-maven-plugin/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.codegen:isagen:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/codegen/isagen/target/coverage-reports/jacoco-unit.exec, sources: core/codegen/isagen/src/main/java, classes: core/codegen/isagen/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:isapog:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/isapog/target/coverage-reports/jacoco-unit.exec, sources: core/isapog/src/main/java, classes: core/isapog/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:annotations:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/annotations/target/coverage-reports/jacoco-unit.exec, sources: core/annotations/src/main/java, classes: core/annotations/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.annotations:provided:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/annotations/provided/target/coverage-reports/jacoco-unit.exec, sources: core/annotations/provided/src/main/java, classes: core/annotations/provided/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.annotations:examples:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/annotations/examples/target/coverage-reports/jacoco-unit.exec, sources: core/annotations/examples/src/main/java, classes: core/annotations/examples/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:documentation:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: documentation/target/coverage-reports/jacoco-unit.exec, sources: documentation/src/main/java, classes: documentation/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.documentation:releasenotes:jar:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: documentation/releasenotes/target/coverage-reports/jacoco-unit.exec, sources: documentation/releasenotes/src/main/java, classes: documentation/releasenotes/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:ide:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/target/coverage-reports/jacoco-unit.exec, sources: ide/src/main/java, classes: ide/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.core:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/core/target/coverage-reports/jacoco-unit.exec, sources: ide/core/src/main/java, classes: ide/core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.builders:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/builders/target/coverage-reports/jacoco-unit.exec, sources: ide/builders/src/main/java, classes: ide/builders/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.builders:org.overture.ide.builders.vdmj:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/builders/vdmj/target/coverage-reports/jacoco-unit.exec, sources: ide/builders/vdmj/src/main/java, classes: ide/builders/vdmj/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.ui:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/ui/target/coverage-reports/jacoco-unit.exec, sources: ide/ui/src/main/java, classes: ide/ui/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.parsers:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/parsers/target/coverage-reports/jacoco-unit.exec, sources: ide/parsers/src/main/java, classes: ide/parsers/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/parsers/vdmj/target/coverage-reports/jacoco-unit.exec, sources: ide/parsers/vdmj/src/main/java, classes: ide/parsers/vdmj/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.debug:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/debug/target/coverage-reports/jacoco-unit.exec, sources: ide/debug/src/main/java, classes: ide/debug/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.vdmsl:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmsl/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmsl/src/main/java, classes: ide/vdmsl/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmsl/core/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmsl/core/src/main/java, classes: ide/vdmsl/core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmsl/ui/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmsl/ui/src/main/java, classes: ide/vdmsl/ui/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmsl/debug/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmsl/debug/src/main/java, classes: ide/vdmsl/debug/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.vdmpp:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmpp/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmpp/src/main/java, classes: ide/vdmpp/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmpp/core/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmpp/core/src/main/java, classes: ide/vdmpp/core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmpp/ui/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmpp/ui/src/main/java, classes: ide/vdmpp/ui/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmpp/debug/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmpp/debug/src/main/java, classes: ide/vdmpp/debug/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.vdmrt:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmrt/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmrt/src/main/java, classes: ide/vdmrt/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmrt/core/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmrt/core/src/main/java, classes: ide/vdmrt/core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmrt/ui/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmrt/ui/src/main/java, classes: ide/vdmrt/ui/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/vdmrt/debug/target/coverage-reports/jacoco-unit.exec, sources: ide/vdmrt/debug/src/main/java, classes: ide/vdmrt/debug/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.help:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/help/target/coverage-reports/jacoco-unit.exec, sources: ide/help/src/main/java, classes: ide/help/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.plugins:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/src/main/java, classes: ide/plugins/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/externaleditor/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/externaleditor/src/main/java, classes: ide/plugins/externaleditor/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/coverageeditor/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/coverageeditor/src/main/java, classes: ide/plugins/coverageeditor/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.csk:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/csk/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/csk/src/main/java, classes: ide/plugins/csk/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/quickinterpreter/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/quickinterpreter/src/main/java, classes: ide/plugins/quickinterpreter/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.latex:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/latex/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/latex/src/main/java, classes: ide/plugins/latex/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/poviewer/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/poviewer/src/main/java, classes: ide/plugins/poviewer/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/combinatorialtesting/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/combinatorialtesting/src/main/java, classes: ide/plugins/combinatorialtesting/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/developerutils/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/developerutils/src/main/java, classes: ide/plugins/developerutils/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/uml2/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/uml2/src/main/java, classes: ide/plugins/uml2/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/rttraceviewer/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/rttraceviewer/src/main/java, classes: ide/plugins/rttraceviewer/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/javagen/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/javagen/src/main/java, classes: ide/plugins/javagen/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins:org.overture.ide.plugins.features:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/src/main/java, classes: ide/plugins/features/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.platform:eclipse-plugin:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/platform/target/coverage-reports/jacoco-unit.exec, sources: ide/platform/src/main/java, classes: ide/platform/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:features:pom:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/features/target/coverage-reports/jacoco-unit.exec, sources: ide/features/src/main/java, classes: ide/features/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.features:org.overture.ide.features.core:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/features/core/target/coverage-reports/jacoco-unit.exec, sources: ide/features/core/src/main/java, classes: ide/features/core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/coverageeditor/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/coverageeditor/src/main/java, classes: ide/plugins/features/coverageeditor/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/csk/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/csk/src/main/java, classes: ide/plugins/features/csk/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/combinatorialtesting/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/combinatorialtesting/src/main/java, classes: ide/plugins/features/combinatorialtesting/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/developerutils/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/developerutils/src/main/java, classes: ide/plugins/features/developerutils/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/latex/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/latex/src/main/java, classes: ide/plugins/features/latex/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/poviewer/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/poviewer/src/main/java, classes: ide/plugins/features/poviewer/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/quickinterpreter/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/quickinterpreter/src/main/java, classes: ide/plugins/features/quickinterpreter/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/uml2/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/uml2/src/main/java, classes: ide/plugins/features/uml2/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/rttraceviewer/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/rttraceviewer/src/main/java, classes: ide/plugins/features/rttraceviewer/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/plugins/features/javagen/target/coverage-reports/jacoco-unit.exec, sources: ide/plugins/features/javagen/src/main/java, classes: ide/plugins/features/javagen/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide.features:org.overture.ide.features.rcp:eclipse-feature:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/features/rcp/target/coverage-reports/jacoco-unit.exec, sources: ide/features/rcp/src/main/java, classes: ide/features/rcp/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.ide:org.overture.ide.product:eclipse-repository:2.7.2(version: 2.7.2, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: ide/product/target/coverage-reports/jacoco-unit.exec, sources: ide/product/src/main/java, classes: ide/product/target/classes
[JaCoCo plugin] Collecting JaCoCo coverage data...
[JaCoCo plugin] target/coverage-reports/jacoco-unit.exec,externals/target/coverage-reports/jacoco-unit.exec,core/target/coverage-reports/jacoco-unit.exec,core/ast/target/coverage-reports/jacoco-unit.exec,core/testframework/target/coverage-reports/jacoco-unit.exec,core/parser/target/coverage-reports/jacoco-unit.exec,core/typechecker/target/coverage-reports/jacoco-unit.exec,core/testing/target/coverage-reports/jacoco-unit.exec,core/testing/framework/target/coverage-reports/jacoco-unit.exec,core/testing/samples/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec,core/pog/target/coverage-reports/jacoco-unit.exec,core/interpreter/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec,core/commandline/target/coverage-reports/jacoco-unit.exec,core/codegen/target/coverage-reports/jacoco-unit.exec,core/codegen/ir/target/coverage-reports/jacoco-unit.exec,core/codegen/platform/target/coverage-reports/jacoco-unit.exec,core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec,core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec,core/codegen/javagen/target/coverage-reports/jacoco-unit.exec,core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec,core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec,core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec,core/codegen/isagen/target/coverage-reports/jacoco-unit.exec,core/isapog/target/coverage-reports/jacoco-unit.exec,core/annotations/target/coverage-reports/jacoco-unit.exec,core/annotations/provided/target/coverage-reports/jacoco-unit.exec,core/annotations/examples/target/coverage-reports/jacoco-unit.exec,documentation/target/coverage-reports/jacoco-unit.exec,documentation/releasenotes/target/coverage-reports/jacoco-unit.exec,ide/target/coverage-reports/jacoco-unit.exec,ide/core/target/coverage-reports/jacoco-unit.exec,ide/builders/target/coverage-reports/jacoco-unit.exec,ide/builders/vdmj/target/coverage-reports/jacoco-unit.exec,ide/ui/target/coverage-reports/jacoco-unit.exec,ide/parsers/target/coverage-reports/jacoco-unit.exec,ide/parsers/vdmj/target/coverage-reports/jacoco-unit.exec,ide/debug/target/coverage-reports/jacoco-unit.exec,ide/vdmsl/target/coverage-reports/jacoco-unit.exec,ide/vdmsl/core/target/coverage-reports/jacoco-unit.exec,ide/vdmsl/ui/target/coverage-reports/jacoco-unit.exec,ide/vdmsl/debug/target/coverage-reports/jacoco-unit.exec,ide/vdmpp/target/coverage-reports/jacoco-unit.exec,ide/vdmpp/core/target/coverage-reports/jacoco-unit.exec,ide/vdmpp/ui/target/coverage-reports/jacoco-unit.exec,ide/vdmpp/debug/target/coverage-reports/jacoco-unit.exec,ide/vdmrt/target/coverage-reports/jacoco-unit.exec,ide/vdmrt/core/target/coverage-reports/jacoco-unit.exec,ide/vdmrt/ui/target/coverage-reports/jacoco-unit.exec,ide/vdmrt/debug/target/coverage-reports/jacoco-unit.exec,ide/help/target/coverage-reports/jacoco-unit.exec,ide/plugins/target/coverage-reports/jacoco-unit.exec,ide/plugins/externaleditor/target/coverage-reports/jacoco-unit.exec,ide/plugins/coverageeditor/target/coverage-reports/jacoco-unit.exec,ide/plugins/csk/target/coverage-reports/jacoco-unit.exec,ide/plugins/quickinterpreter/target/coverage-reports/jacoco-unit.exec,ide/plugins/latex/target/coverage-reports/jacoco-unit.exec,ide/plugins/poviewer/target/coverage-reports/jacoco-unit.exec,ide/plugins/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,ide/plugins/developerutils/target/coverage-reports/jacoco-unit.exec,ide/plugins/uml2/target/coverage-reports/jacoco-unit.exec,ide/plugins/rttraceviewer/target/coverage-reports/jacoco-unit.exec,ide/plugins/javagen/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/target/coverage-reports/jacoco-unit.exec,ide/platform/target/coverage-reports/jacoco-unit.exec,ide/features/target/coverage-reports/jacoco-unit.exec,ide/features/core/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/coverageeditor/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/csk/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/developerutils/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/latex/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/poviewer/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/quickinterpreter/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/uml2/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/rttraceviewer/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/javagen/target/coverage-reports/jacoco-unit.exec,ide/features/rcp/target/coverage-reports/jacoco-unit.exec,ide/product/target/coverage-reports/jacoco-unit.exec;target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes,core/testing/target/classes,core/testing/framework/target/classes,core/testing/samples/target/classes,core/prettyprinting/target/classes,core/prettyprinting/prettyprinter/target/classes,core/pog/target/classes,core/interpreter/target/classes,core/combinatorialtesting/target/classes,core/combinatorialtesting/ctutils/target/classes,core/combinatorialtesting/ctruntime/target/classes,core/prettyprinting/npp/target/classes,core/commandline/target/classes,core/codegen/target/classes,core/codegen/ir/target/classes,core/codegen/platform/target/classes,core/codegen/codegen-runtime/target/classes,core/codegen/javagen-test/target/classes,core/codegen/javagen/target/classes,core/codegen/vdm2jml-runtime/target/classes,core/codegen/vdm2jml/target/classes,core/codegen/codegen-maven-plugin/target/classes,core/codegen/isagen/target/classes,core/isapog/target/classes,core/annotations/target/classes,core/annotations/provided/target/classes,core/annotations/examples/target/classes,documentation/target/classes,documentation/releasenotes/target/classes,ide/target/classes,ide/core/target/classes,ide/builders/target/classes,ide/builders/vdmj/target/classes,ide/ui/target/classes,ide/parsers/target/classes,ide/parsers/vdmj/target/classes,ide/debug/target/classes,ide/vdmsl/target/classes,ide/vdmsl/core/target/classes,ide/vdmsl/ui/target/classes,ide/vdmsl/debug/target/classes,ide/vdmpp/target/classes,ide/vdmpp/core/target/classes,ide/vdmpp/ui/target/classes,ide/vdmpp/debug/target/classes,ide/vdmrt/target/classes,ide/vdmrt/core/target/classes,ide/vdmrt/ui/target/classes,ide/vdmrt/debug/target/classes,ide/help/target/classes,ide/plugins/target/classes,ide/plugins/externaleditor/target/classes,ide/plugins/coverageeditor/target/classes,ide/plugins/csk/target/classes,ide/plugins/quickinterpreter/target/classes,ide/plugins/latex/target/classes,ide/plugins/poviewer/target/classes,ide/plugins/combinatorialtesting/target/classes,ide/plugins/developerutils/target/classes,ide/plugins/uml2/target/classes,ide/plugins/rttraceviewer/target/classes,ide/plugins/javagen/target/classes,ide/plugins/features/target/classes,ide/platform/target/classes,ide/features/target/classes,ide/features/core/target/classes,ide/plugins/features/coverageeditor/target/classes,ide/plugins/features/csk/target/classes,ide/plugins/features/combinatorialtesting/target/classes,ide/plugins/features/developerutils/target/classes,ide/plugins/features/latex/target/classes,ide/plugins/features/poviewer/target/classes,ide/plugins/features/quickinterpreter/target/classes,ide/plugins/features/uml2/target/classes,ide/plugins/features/rttraceviewer/target/classes,ide/plugins/features/javagen/target/classes,ide/features/rcp/target/classes,ide/product/target/classes;src/main/java,externals/src/main/java,core/src/main/java,core/ast/src/main/java,core/testframework/src/main/java,core/parser/src/main/java,core/typechecker/src/main/java,core/testing/src/main/java,core/testing/framework/src/main/java,core/testing/samples/src/main/java,core/prettyprinting/src/main/java,core/prettyprinting/prettyprinter/src/main/java,core/pog/src/main/java,core/interpreter/src/main/java,core/combinatorialtesting/src/main/java,core/combinatorialtesting/ctutils/src/main/java,core/combinatorialtesting/ctruntime/src/main/java,core/prettyprinting/npp/src/main/java,core/commandline/src/main/java,core/codegen/src/main/java,core/codegen/ir/src/main/java,core/codegen/platform/src/main/java,core/codegen/codegen-runtime/src/main/java,core/codegen/javagen-test/src/main/java,core/codegen/javagen/src/main/java,core/codegen/vdm2jml-runtime/src/main/java,core/codegen/vdm2jml/src/main/java,core/codegen/codegen-maven-plugin/src/main/java,core/codegen/isagen/src/main/java,core/isapog/src/main/java,core/annotations/src/main/java,core/annotations/provided/src/main/java,core/annotations/examples/src/main/java,documentation/src/main/java,documentation/releasenotes/src/main/java,ide/src/main/java,ide/core/src/main/java,ide/builders/src/main/java,ide/builders/vdmj/src/main/java,ide/ui/src/main/java,ide/parsers/src/main/java,ide/parsers/vdmj/src/main/java,ide/debug/src/main/java,ide/vdmsl/src/main/java,ide/vdmsl/core/src/main/java,ide/vdmsl/ui/src/main/java,ide/vdmsl/debug/src/main/java,ide/vdmpp/src/main/java,ide/vdmpp/core/src/main/java,ide/vdmpp/ui/src/main/java,ide/vdmpp/debug/src/main/java,ide/vdmrt/src/main/java,ide/vdmrt/core/src/main/java,ide/vdmrt/ui/src/main/java,ide/vdmrt/debug/src/main/java,ide/help/src/main/java,ide/plugins/src/main/java,ide/plugins/externaleditor/src/main/java,ide/plugins/coverageeditor/src/main/java,ide/plugins/csk/src/main/java,ide/plugins/quickinterpreter/src/main/java,ide/plugins/latex/src/main/java,ide/plugins/poviewer/src/main/java,ide/plugins/combinatorialtesting/src/main/java,ide/plugins/developerutils/src/main/java,ide/plugins/uml2/src/main/java,ide/plugins/rttraceviewer/src/main/java,ide/plugins/javagen/src/main/java,ide/plugins/features/src/main/java,ide/platform/src/main/java,ide/features/src/main/java,ide/features/core/src/main/java,ide/plugins/features/coverageeditor/src/main/java,ide/plugins/features/csk/src/main/java,ide/plugins/features/combinatorialtesting/src/main/java,ide/plugins/features/developerutils/src/main/java,ide/plugins/features/latex/src/main/java,ide/plugins/features/poviewer/src/main/java,ide/plugins/features/quickinterpreter/src/main/java,ide/plugins/features/uml2/src/main/java,ide/plugins/features/rttraceviewer/src/main/java,ide/plugins/features/javagen/src/main/java,ide/features/rcp/src/main/java,ide/product/src/main/java; locations are configured
[JaCoCo plugin] Number of found exec files for pattern target/coverage-reports/jacoco-unit.exec,externals/target/coverage-reports/jacoco-unit.exec,core/target/coverage-reports/jacoco-unit.exec,core/ast/target/coverage-reports/jacoco-unit.exec,core/testframework/target/coverage-reports/jacoco-unit.exec,core/parser/target/coverage-reports/jacoco-unit.exec,core/typechecker/target/coverage-reports/jacoco-unit.exec,core/testing/target/coverage-reports/jacoco-unit.exec,core/testing/framework/target/coverage-reports/jacoco-unit.exec,core/testing/samples/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec,core/pog/target/coverage-reports/jacoco-unit.exec,core/interpreter/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/ctutils/target/coverage-reports/jacoco-unit.exec,core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec,core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec,core/commandline/target/coverage-reports/jacoco-unit.exec,core/codegen/target/coverage-reports/jacoco-unit.exec,core/codegen/ir/target/coverage-reports/jacoco-unit.exec,core/codegen/platform/target/coverage-reports/jacoco-unit.exec,core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec,core/codegen/javagen-test/target/coverage-reports/jacoco-unit.exec,core/codegen/javagen/target/coverage-reports/jacoco-unit.exec,core/codegen/vdm2jml-runtime/target/coverage-reports/jacoco-unit.exec,core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec,core/codegen/codegen-maven-plugin/target/coverage-reports/jacoco-unit.exec,core/codegen/isagen/target/coverage-reports/jacoco-unit.exec,core/isapog/target/coverage-reports/jacoco-unit.exec,core/annotations/target/coverage-reports/jacoco-unit.exec,core/annotations/provided/target/coverage-reports/jacoco-unit.exec,core/annotations/examples/target/coverage-reports/jacoco-unit.exec,documentation/target/coverage-reports/jacoco-unit.exec,documentation/releasenotes/target/coverage-reports/jacoco-unit.exec,ide/target/coverage-reports/jacoco-unit.exec,ide/core/target/coverage-reports/jacoco-unit.exec,ide/builders/target/coverage-reports/jacoco-unit.exec,ide/builders/vdmj/target/coverage-reports/jacoco-unit.exec,ide/ui/target/coverage-reports/jacoco-unit.exec,ide/parsers/target/coverage-reports/jacoco-unit.exec,ide/parsers/vdmj/target/coverage-reports/jacoco-unit.exec,ide/debug/target/coverage-reports/jacoco-unit.exec,ide/vdmsl/target/coverage-reports/jacoco-unit.exec,ide/vdmsl/core/target/coverage-reports/jacoco-unit.exec,ide/vdmsl/ui/target/coverage-reports/jacoco-unit.exec,ide/vdmsl/debug/target/coverage-reports/jacoco-unit.exec,ide/vdmpp/target/coverage-reports/jacoco-unit.exec,ide/vdmpp/core/target/coverage-reports/jacoco-unit.exec,ide/vdmpp/ui/target/coverage-reports/jacoco-unit.exec,ide/vdmpp/debug/target/coverage-reports/jacoco-unit.exec,ide/vdmrt/target/coverage-reports/jacoco-unit.exec,ide/vdmrt/core/target/coverage-reports/jacoco-unit.exec,ide/vdmrt/ui/target/coverage-reports/jacoco-unit.exec,ide/vdmrt/debug/target/coverage-reports/jacoco-unit.exec,ide/help/target/coverage-reports/jacoco-unit.exec,ide/plugins/target/coverage-reports/jacoco-unit.exec,ide/plugins/externaleditor/target/coverage-reports/jacoco-unit.exec,ide/plugins/coverageeditor/target/coverage-reports/jacoco-unit.exec,ide/plugins/csk/target/coverage-reports/jacoco-unit.exec,ide/plugins/quickinterpreter/target/coverage-reports/jacoco-unit.exec,ide/plugins/latex/target/coverage-reports/jacoco-unit.exec,ide/plugins/poviewer/target/coverage-reports/jacoco-unit.exec,ide/plugins/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,ide/plugins/developerutils/target/coverage-reports/jacoco-unit.exec,ide/plugins/uml2/target/coverage-reports/jacoco-unit.exec,ide/plugins/rttraceviewer/target/coverage-reports/jacoco-unit.exec,ide/plugins/javagen/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/target/coverage-reports/jacoco-unit.exec,ide/platform/target/coverage-reports/jacoco-unit.exec,ide/features/target/coverage-reports/jacoco-unit.exec,ide/features/core/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/coverageeditor/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/csk/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/developerutils/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/latex/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/poviewer/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/quickinterpreter/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/uml2/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/rttraceviewer/target/coverage-reports/jacoco-unit.exec,ide/plugins/features/javagen/target/coverage-reports/jacoco-unit.exec,ide/features/rcp/target/coverage-reports/jacoco-unit.exec,ide/product/target/coverage-reports/jacoco-unit.exec: 13
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/platform/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/isapog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_hdm_development/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes,core/testing/target/classes,core/testing/framework/target/classes,core/testing/samples/target/classes,core/prettyprinting/target/classes,core/prettyprinting/prettyprinter/target/classes,core/pog/target/classes,core/interpreter/target/classes,core/combinatorialtesting/target/classes,core/combinatorialtesting/ctutils/target/classes,core/combinatorialtesting/ctruntime/target/classes,core/prettyprinting/npp/target/classes,core/commandline/target/classes,core/codegen/target/classes,core/codegen/ir/target/classes,core/codegen/platform/target/classes,core/codegen/codegen-runtime/target/classes,core/codegen/javagen-test/target/classes,core/codegen/javagen/target/classes,core/codegen/vdm2jml-runtime/target/classes,core/codegen/vdm2jml/target/classes,core/codegen/codegen-maven-plugin/target/classes,core/codegen/isagen/target/classes,core/isapog/target/classes,core/annotations/target/classes,core/annotations/provided/target/classes,core/annotations/examples/target/classes,documentation/target/classes,documentation/releasenotes/target/classes,ide/target/classes,ide/core/target/classes,ide/builders/target/classes,ide/builders/vdmj/target/classes,ide/ui/target/classes,ide/parsers/target/classes,ide/parsers/vdmj/target/classes,ide/debug/target/classes,ide/vdmsl/target/classes,ide/vdmsl/core/target/classes,ide/vdmsl/ui/target/classes,ide/vdmsl/debug/target/classes,ide/vdmpp/target/classes,ide/vdmpp/core/target/classes,ide/vdmpp/ui/target/classes,ide/vdmpp/debug/target/classes,ide/vdmrt/target/classes,ide/vdmrt/core/target/classes,ide/vdmrt/ui/target/classes,ide/vdmrt/debug/target/classes,ide/help/target/classes,ide/plugins/target/classes,ide/plugins/externaleditor/target/classes,ide/plugins/coverageeditor/target/classes,ide/plugins/csk/target/classes,ide/plugins/quickinterpreter/target/classes,ide/plugins/latex/target/classes,ide/plugins/poviewer/target/classes,ide/plugins/combinatorialtesting/target/classes,ide/plugins/developerutils/target/classes,ide/plugins/uml2/target/classes,ide/plugins/rttraceviewer/target/classes,ide/plugins/javagen/target/classes,ide/plugins/features/target/classes,ide/platform/target/classes,ide/features/target/classes,ide/features/core/target/classes,ide/plugins/features/coverageeditor/target/classes,ide/plugins/features/csk/target/classes,ide/plugins/features/combinatorialtesting/target/classes,ide/plugins/features/developerutils/target/classes,ide/plugins/features/latex/target/classes,ide/plugins/features/poviewer/target/classes,ide/plugins/features/quickinterpreter/target/classes,ide/plugins/features/uml2/target/classes,ide/plugins/features/rttraceviewer/target/classes,ide/plugins/features/javagen/target/classes,ide/features/rcp/target/classes,ide/product/target/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/annotations/examples/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/annotations/provided/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/codegen-maven-plugin/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/codegen-runtime/target/classes 57 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/ir/target/classes 399 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/isagen/target/classes 25 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/javagen-test/target/classes 21 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/javagen/target/classes 34 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/platform/target/classes 185 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/vdm2jml-runtime/target/classes 1 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/vdm2jml/target/classes 37 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/combinatorialtesting/ctruntime/target/classes 27 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/combinatorialtesting/ctutils/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/commandline/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/interpreter/target/classes 344 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/isapog/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/pog/target/classes 105 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/prettyprinting/npp/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/prettyprinting/prettyprinter/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/testing/framework/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/testing/samples/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/core/typechecker/target/classes 149 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/documentation/releasenotes/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/externals/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/builders/vdmj/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/core/target/classes 57 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/debug/target/classes 388 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/help/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/parsers/vdmj/target/classes 5 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/platform/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/combinatorialtesting/target/classes 83 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/coverageeditor/target/classes 13 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/csk/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/developerutils/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/externaleditor/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/javagen/target/classes 11 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/latex/target/classes 20 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/poviewer/target/classes 20 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/quickinterpreter/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/rttraceviewer/target/classes 62 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/uml2/target/classes 25 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/product/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/ui/target/classes 169 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmpp/core/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmpp/debug/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmpp/ui/target/classes 12 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmrt/core/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmrt/debug/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmrt/ui/target/classes 15 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmsl/core/target/classes 3 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmsl/debug/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmsl/ui/target/classes 12 files
[JaCoCo plugin] Saving matched source directories for source-pattern: src/main/java,externals/src/main/java,core/src/main/java,core/ast/src/main/java,core/testframework/src/main/java,core/parser/src/main/java,core/typechecker/src/main/java,core/testing/src/main/java,core/testing/framework/src/main/java,core/testing/samples/src/main/java,core/prettyprinting/src/main/java,core/prettyprinting/prettyprinter/src/main/java,core/pog/src/main/java,core/interpreter/src/main/java,core/combinatorialtesting/src/main/java,core/combinatorialtesting/ctutils/src/main/java,core/combinatorialtesting/ctruntime/src/main/java,core/prettyprinting/npp/src/main/java,core/commandline/src/main/java,core/codegen/src/main/java,core/codegen/ir/src/main/java,core/codegen/platform/src/main/java,core/codegen/codegen-runtime/src/main/java,core/codegen/javagen-test/src/main/java,core/codegen/javagen/src/main/java,core/codegen/vdm2jml-runtime/src/main/java,core/codegen/vdm2jml/src/main/java,core/codegen/codegen-maven-plugin/src/main/java,core/codegen/isagen/src/main/java,core/isapog/src/main/java,core/annotations/src/main/java,core/annotations/provided/src/main/java,core/annotations/examples/src/main/java,documentation/src/main/java,documentation/releasenotes/src/main/java,ide/src/main/java,ide/core/src/main/java,ide/builders/src/main/java,ide/builders/vdmj/src/main/java,ide/ui/src/main/java,ide/parsers/src/main/java,ide/parsers/vdmj/src/main/java,ide/debug/src/main/java,ide/vdmsl/src/main/java,ide/vdmsl/core/src/main/java,ide/vdmsl/ui/src/main/java,ide/vdmsl/debug/src/main/java,ide/vdmpp/src/main/java,ide/vdmpp/core/src/main/java,ide/vdmpp/ui/src/main/java,ide/vdmpp/debug/src/main/java,ide/vdmrt/src/main/java,ide/vdmrt/core/src/main/java,ide/vdmrt/ui/src/main/java,ide/vdmrt/debug/src/main/java,ide/help/src/main/java,ide/plugins/src/main/java,ide/plugins/externaleditor/src/main/java,ide/plugins/coverageeditor/src/main/java,ide/plugins/csk/src/main/java,ide/plugins/quickinterpreter/src/main/java,ide/plugins/latex/src/main/java,ide/plugins/poviewer/src/main/java,ide/plugins/combinatorialtesting/src/main/java,ide/plugins/developerutils/src/main/java,ide/plugins/uml2/src/main/java,ide/plugins/rttraceviewer/src/main/java,ide/plugins/javagen/src/main/java,ide/plugins/features/src/main/java,ide/platform/src/main/java,ide/features/src/main/java,ide/features/core/src/main/java,ide/plugins/features/coverageeditor/src/main/java,ide/plugins/features/csk/src/main/java,ide/plugins/features/combinatorialtesting/src/main/java,ide/plugins/features/developerutils/src/main/java,ide/plugins/features/latex/src/main/java,ide/plugins/features/poviewer/src/main/java,ide/plugins/features/quickinterpreter/src/main/java,ide/plugins/features/uml2/src/main/java,ide/plugins/features/rttraceviewer/src/main/java,ide/plugins/features/javagen/src/main/java,ide/features/rcp/src/main/java,ide/product/src/main/java: 
[JaCoCo plugin] Source Inclusions: **/*.java,**/*.groovy,**/*.kt,**/*.kts
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/annotations/examples/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/annotations/provided/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/codegen-maven-plugin/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/codegen-runtime/src/main/java 53 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/ir/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/isagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/javagen-test/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/javagen/src/main/java 34 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/platform/src/main/java 169 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/vdm2jml-runtime/src/main/java 1 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/codegen/vdm2jml/src/main/java 37 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/combinatorialtesting/ctruntime/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/combinatorialtesting/ctutils/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/interpreter/src/main/java 287 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/isapog/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/pog/src/main/java 93 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/prettyprinting/npp/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/prettyprinting/prettyprinter/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/core/typechecker/src/main/java 133 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/builders/vdmj/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/core/src/main/java 46 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/debug/src/main/java 284 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/help/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/parsers/vdmj/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/platform/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/combinatorialtesting/src/main/java 42 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/coverageeditor/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/csk/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/developerutils/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/externaleditor/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/javagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/latex/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/poviewer/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/quickinterpreter/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/rttraceviewer/src/main/java 48 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/plugins/uml2/src/main/java 15 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/ui/src/main/java 117 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmpp/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmpp/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmpp/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmrt/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmrt/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmrt/ui/src/main/java 14 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmsl/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmsl/debug/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/ide/vdmsl/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_hdm_development/src/main/java 0 files
[JaCoCo plugin] Loading inclusions files..
[JaCoCo plugin] inclusions: []
[JaCoCo plugin] exclusions: []
[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: 57, method: 39, line: 38, branch: 27, instruction: 37, complexity: 29
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool:root:pom:2.7.2 in source directory src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:ast:jar:2.7.2 in source directory core/ast/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:testframework:jar:2.7.2 in source directory core/testframework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:parser:jar:2.7.2 in source directory core/parser/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:typechecker:jar:2.7.2 in source directory core/typechecker/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.testing:framework:jar:2.7.2 in source directory core/testing/framework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.prettyprinting:prettyprinter:jar:2.7.2 in source directory core/prettyprinting/prettyprinter/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:pog:jar:2.7.2 in source directory core/pog/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:interpreter:jar:2.7.2 in source directory core/interpreter/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.combinatorialtesting:ctutils:jar:2.7.2 in source directory core/combinatorialtesting/ctutils/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.combinatorialtesting:ctruntime:jar:2.7.2 in source directory core/combinatorialtesting/ctruntime/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:npp:jar:2.7.2 in source directory core/prettyprinting/npp/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:ir:jar:2.7.2 in source directory core/codegen/ir/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:platform:jar:2.7.2 in source directory core/codegen/platform/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:codegen-runtime:jar:2.7.2 in source directory core/codegen/codegen-runtime/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:javagen-test:jar:2.7.2 in source directory core/codegen/javagen-test/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:javagen:jar:2.7.2 in source directory core/codegen/javagen/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:vdm2jml-runtime:jar:2.7.2 in source directory core/codegen/vdm2jml-runtime/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:vdm2jml:jar:2.7.2 in source directory core/codegen/vdm2jml/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:codegen-plugin:maven-plugin:2.7.2 in source directory core/codegen/codegen-maven-plugin/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:isagen:jar:2.7.2 in source directory core/codegen/isagen/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:isapog:jar:2.7.2 in source directory core/isapog/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.annotations:provided:jar:2.7.2 in source directory core/annotations/provided/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.annotations:examples:jar:2.7.2 in source directory core/annotations/examples/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide:org.overture.ide.core:eclipse-plugin:2.7.2 in source directory ide/core/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.builders:org.overture.ide.builders.vdmj:eclipse-plugin:2.7.2 in source directory ide/builders/vdmj/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide:org.overture.ide.ui:eclipse-plugin:2.7.2 in source directory ide/ui/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:eclipse-plugin:2.7.2 in source directory ide/parsers/vdmj/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide:org.overture.ide.debug:eclipse-plugin:2.7.2 in source directory ide/debug/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:eclipse-plugin:2.7.2 in source directory ide/vdmsl/core/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:eclipse-plugin:2.7.2 in source directory ide/vdmsl/ui/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:eclipse-plugin:2.7.2 in source directory ide/vdmsl/debug/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:eclipse-plugin:2.7.2 in source directory ide/vdmpp/core/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:eclipse-plugin:2.7.2 in source directory ide/vdmpp/ui/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:eclipse-plugin:2.7.2 in source directory ide/vdmpp/debug/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:eclipse-plugin:2.7.2 in source directory ide/vdmrt/core/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:eclipse-plugin:2.7.2 in source directory ide/vdmrt/ui/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:eclipse-plugin:2.7.2 in source directory ide/vdmrt/debug/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide:org.overture.ide.help:eclipse-plugin:2.7.2 in source directory ide/help/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:eclipse-plugin:2.7.2 in source directory ide/plugins/externaleditor/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:eclipse-plugin:2.7.2 in source directory ide/plugins/coverageeditor/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.csk:eclipse-plugin:2.7.2 in source directory ide/plugins/csk/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:eclipse-plugin:2.7.2 in source directory ide/plugins/quickinterpreter/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.latex:eclipse-plugin:2.7.2 in source directory ide/plugins/latex/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:eclipse-plugin:2.7.2 in source directory ide/plugins/poviewer/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:eclipse-plugin:2.7.2 in source directory ide/plugins/combinatorialtesting/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:eclipse-plugin:2.7.2 in source directory ide/plugins/developerutils/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:eclipse-plugin:2.7.2 in source directory ide/plugins/uml2/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:eclipse-plugin:2.7.2 in source directory ide/plugins/rttraceviewer/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:eclipse-plugin:2.7.2 in source directory ide/plugins/javagen/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.ide:org.overture.ide.platform:eclipse-plugin:2.7.2 in source directory ide/platform/src/main/java
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overturetool_hdm_development' for files matching the pattern 'src/main/java/**/*,core/ast/src/main/java/**/*,core/testframework/src/main/java/**/*,core/parser/src/main/java/**/*,core/typechecker/src/main/java/**/*,core/testing/framework/src/main/java/**/*,core/prettyprinting/prettyprinter/src/main/java/**/*,core/pog/src/main/java/**/*,core/interpreter/src/main/java/**/*,core/combinatorialtesting/ctutils/src/main/java/**/*,core/combinatorialtesting/ctruntime/src/main/java/**/*,core/prettyprinting/npp/src/main/java/**/*,core/codegen/ir/src/main/java/**/*,core/codegen/platform/src/main/java/**/*,core/codegen/codegen-runtime/src/main/java/**/*,core/codegen/javagen-test/src/main/java/**/*,core/codegen/javagen/src/main/java/**/*,core/codegen/vdm2jml-runtime/src/main/java/**/*,core/codegen/vdm2jml/src/main/java/**/*,core/codegen/codegen-maven-plugin/src/main/java/**/*,core/codegen/isagen/src/main/java/**/*,core/isapog/src/main/java/**/*,core/annotations/provided/src/main/java/**/*,core/annotations/examples/src/main/java/**/*,ide/core/src/main/java/**/*,ide/builders/vdmj/src/main/java/**/*,ide/ui/src/main/java/**/*,ide/parsers/vdmj/src/main/java/**/*,ide/debug/src/main/java/**/*,ide/vdmsl/core/src/main/java/**/*,ide/vdmsl/ui/src/main/java/**/*,ide/vdmsl/debug/src/main/java/**/*,ide/vdmpp/core/src/main/java/**/*,ide/vdmpp/ui/src/main/java/**/*,ide/vdmpp/debug/src/main/java/**/*,ide/vdmrt/core/src/main/java/**/*,ide/vdmrt/ui/src/main/java/**/*,ide/vdmrt/debug/src/main/java/**/*,ide/help/src/main/java/**/*,ide/plugins/externaleditor/src/main/java/**/*,ide/plugins/coverageeditor/src/main/java/**/*,ide/plugins/csk/src/main/java/**/*,ide/plugins/quickinterpreter/src/main/java/**/*,ide/plugins/latex/src/main/java/**/*,ide/plugins/poviewer/src/main/java/**/*,ide/plugins/combinatorialtesting/src/main/java/**/*,ide/plugins/developerutils/src/main/java/**/*,ide/plugins/uml2/src/main/java/**/*,ide/plugins/rttraceviewer/src/main/java/**/*,ide/plugins/javagen/src/main/java/**/*,ide/platform/src/main/java/**/*' - excludes: null
[TASKS] Found 1715 files to scan for tasks
[TASKS] Found 425 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[withMaven] Publishers: Pipeline Graph Publisher: 109 ms, Generated Artifacts Publisher: 59901 ms, Invoker Publisher: 5 ms, Junit Publisher: 1649 ms, Concordion Publisher: 5 ms, Dependencies Fingerprint Publisher: 4 ms, Findbugs Publisher: 1 ms, JGiven Publisher: 2 ms, Jacoco Publisher: 3805 ms, SpotBugs Publisher: 1 ms, Open Task Scanner Publisher: 2745 ms
[Pipeline] // withMaven
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Clean up workspace)
[Pipeline] cleanWs
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Reporting)
[Pipeline] emailextrecipients
[Pipeline] emailext
An attempt to send an e-mail to empty list of recipients, ignored.
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

Finished: SUCCESS