Console Output
Skipping 2,398 KB..
Full Logol/core/commandlinetool/3.0.3-SNAPSHOT/commandlinetool-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/commandline/target/commandlinetool-3.0.3-SNAPSHOT-jar-with-dependencies.jar under org/overturetool/core/commandlinetool/3.0.3-SNAPSHOT/commandlinetool-3.0.3-SNAPSHOT-jar-with-dependencies.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/pom.xml under org/overturetool/core/codegen/3.0.3-SNAPSHOT/codegen-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/pom.xml under org/overturetool/core/codegen/ir/3.0.3-SNAPSHOT/ir-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/target/ir-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/ir/3.0.3-SNAPSHOT/ir-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/ir/target/ir-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/ir/3.0.3-SNAPSHOT/ir-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/pom.xml under org/overturetool/core/codegen/platform/3.0.3-SNAPSHOT/platform-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/target/platform-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/platform/3.0.3-SNAPSHOT/platform-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/platform/target/platform-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/platform/3.0.3-SNAPSHOT/platform-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/pom.xml under org/overturetool/core/codegen/codegen-runtime/3.0.3-SNAPSHOT/codegen-runtime-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/codegen-runtime/3.0.3-SNAPSHOT/codegen-runtime-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/codegen-runtime/3.0.3-SNAPSHOT/codegen-runtime-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-runtime/target/codegen-runtime-3.0.3-SNAPSHOT-sources.jar under org/overturetool/core/codegen/codegen-runtime/3.0.3-SNAPSHOT/codegen-runtime-3.0.3-SNAPSHOT-sources.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/pom.xml under org/overturetool/core/codegen/javagen-test/3.0.3-SNAPSHOT/javagen-test-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/target/javagen-test-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/javagen-test/3.0.3-SNAPSHOT/javagen-test-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen-test/target/javagen-test-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/javagen-test/3.0.3-SNAPSHOT/javagen-test-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen/pom.xml under org/overturetool/core/codegen/javagen/3.0.3-SNAPSHOT/javagen-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen/target/javagen-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/javagen/3.0.3-SNAPSHOT/javagen-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/javagen/target/javagen-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/javagen/3.0.3-SNAPSHOT/javagen-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml-runtime/pom.xml under org/overturetool/core/codegen/vdm2jml-runtime/3.0.3-SNAPSHOT/vdm2jml-runtime-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/vdm2jml-runtime/3.0.3-SNAPSHOT/vdm2jml-runtime-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/vdm2jml-runtime/3.0.3-SNAPSHOT/vdm2jml-runtime-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml-runtime/target/vdm2jml-runtime-3.0.3-SNAPSHOT-sources.jar under org/overturetool/core/codegen/vdm2jml-runtime/3.0.3-SNAPSHOT/vdm2jml-runtime-3.0.3-SNAPSHOT-sources.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml/pom.xml under org/overturetool/core/codegen/vdm2jml/3.0.3-SNAPSHOT/vdm2jml-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml/target/vdm2jml-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/vdm2jml/3.0.3-SNAPSHOT/vdm2jml-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/vdm2jml/target/vdm2jml-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/vdm2jml/3.0.3-SNAPSHOT/vdm2jml-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-maven-plugin/pom.xml under org/overturetool/core/codegen/codegen-plugin/3.0.3-SNAPSHOT/codegen-plugin-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-maven-plugin/target/codegen-plugin-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/codegen-plugin/3.0.3-SNAPSHOT/codegen-plugin-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/codegen-maven-plugin/target/codegen-plugin-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/codegen-plugin/3.0.3-SNAPSHOT/codegen-plugin-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/isagen/pom.xml under org/overturetool/core/codegen/isagen/3.0.3-SNAPSHOT/isagen-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/codegen/isagen/target/isagen-3.0.3-SNAPSHOT.jar under org/overturetool/core/codegen/isagen/3.0.3-SNAPSHOT/isagen-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/codegen/isagen/target/isagen-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/codegen/isagen/3.0.3-SNAPSHOT/isagen-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/isapog/pom.xml under org/overturetool/core/isapog/3.0.3-SNAPSHOT/isapog-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/isapog/target/isapog-3.0.3-SNAPSHOT.jar under org/overturetool/core/isapog/3.0.3-SNAPSHOT/isapog-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/isapog/target/isapog-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/isapog/3.0.3-SNAPSHOT/isapog-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/annotations/pom.xml under org/overturetool/core/annotations/3.0.3-SNAPSHOT/annotations-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/annotations/provided/pom.xml under org/overturetool/core/annotations/provided/3.0.3-SNAPSHOT/provided-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/annotations/provided/target/provided-3.0.3-SNAPSHOT.jar under org/overturetool/core/annotations/provided/3.0.3-SNAPSHOT/provided-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/annotations/provided/target/provided-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/annotations/provided/3.0.3-SNAPSHOT/provided-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/annotations/examples/pom.xml under org/overturetool/core/annotations/examples/3.0.3-SNAPSHOT/examples-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/annotations/examples/target/examples-3.0.3-SNAPSHOT.jar under org/overturetool/core/annotations/examples/3.0.3-SNAPSHOT/examples-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/annotations/examples/target/examples-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/annotations/examples/3.0.3-SNAPSHOT/examples-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact documentation/pom.xml under org/overturetool/documentation/3.0.3-SNAPSHOT/documentation-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact documentation/releasenotes/pom.xml under org/overturetool/documentation/releasenotes/3.0.3-SNAPSHOT/releasenotes-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact documentation/releasenotes/target/releasenotes-3.0.3-SNAPSHOT.jar under org/overturetool/documentation/releasenotes/3.0.3-SNAPSHOT/releasenotes-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/pom.xml under org/overturetool/ide/3.0.3-SNAPSHOT/ide-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/core/pom.xml under org/overturetool/ide/org.overture.ide.core/3.0.3-SNAPSHOT/org.overture.ide.core-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/core/target/org.overture.ide.core-3.0.3-SNAPSHOT.jar under org/overturetool/ide/org.overture.ide.core/3.0.3-SNAPSHOT/org.overture.ide.core-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/core/target/p2content.xml under org/overturetool/ide/org.overture.ide.core/3.0.3-SNAPSHOT/org.overture.ide.core-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/core/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.core/3.0.3-SNAPSHOT/org.overture.ide.core-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/builders/pom.xml under org/overturetool/ide/org.overture.ide.builders/3.0.3-SNAPSHOT/org.overture.ide.builders-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/builders/vdmj/pom.xml under org/overturetool/ide/builders/org.overture.ide.builders.vdmj/3.0.3-SNAPSHOT/org.overture.ide.builders.vdmj-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/builders/vdmj/target/org.overture.ide.builders.vdmj-3.0.3-SNAPSHOT.jar under org/overturetool/ide/builders/org.overture.ide.builders.vdmj/3.0.3-SNAPSHOT/org.overture.ide.builders.vdmj-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/builders/vdmj/target/p2content.xml under org/overturetool/ide/builders/org.overture.ide.builders.vdmj/3.0.3-SNAPSHOT/org.overture.ide.builders.vdmj-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/builders/vdmj/target/p2artifacts.xml under org/overturetool/ide/builders/org.overture.ide.builders.vdmj/3.0.3-SNAPSHOT/org.overture.ide.builders.vdmj-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/ui/pom.xml under org/overturetool/ide/org.overture.ide.ui/3.0.3-SNAPSHOT/org.overture.ide.ui-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/ui/target/org.overture.ide.ui-3.0.3-SNAPSHOT.jar under org/overturetool/ide/org.overture.ide.ui/3.0.3-SNAPSHOT/org.overture.ide.ui-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/ui/target/p2content.xml under org/overturetool/ide/org.overture.ide.ui/3.0.3-SNAPSHOT/org.overture.ide.ui-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/ui/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.ui/3.0.3-SNAPSHOT/org.overture.ide.ui-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/parsers/pom.xml under org/overturetool/ide/org.overture.ide.parsers/3.0.3-SNAPSHOT/org.overture.ide.parsers-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/parsers/vdmj/pom.xml under org/overturetool/ide/parsers/org.overture.ide.parsers.vdmj/3.0.3-SNAPSHOT/org.overture.ide.parsers.vdmj-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/parsers/vdmj/target/org.overture.ide.parsers.vdmj-3.0.3-SNAPSHOT.jar under org/overturetool/ide/parsers/org.overture.ide.parsers.vdmj/3.0.3-SNAPSHOT/org.overture.ide.parsers.vdmj-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/parsers/vdmj/target/p2content.xml under org/overturetool/ide/parsers/org.overture.ide.parsers.vdmj/3.0.3-SNAPSHOT/org.overture.ide.parsers.vdmj-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/parsers/vdmj/target/p2artifacts.xml under org/overturetool/ide/parsers/org.overture.ide.parsers.vdmj/3.0.3-SNAPSHOT/org.overture.ide.parsers.vdmj-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/debug/pom.xml under org/overturetool/ide/org.overture.ide.debug/3.0.3-SNAPSHOT/org.overture.ide.debug-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/debug/target/org.overture.ide.debug-3.0.3-SNAPSHOT.jar under org/overturetool/ide/org.overture.ide.debug/3.0.3-SNAPSHOT/org.overture.ide.debug-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/debug/target/p2content.xml under org/overturetool/ide/org.overture.ide.debug/3.0.3-SNAPSHOT/org.overture.ide.debug-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/debug/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.debug/3.0.3-SNAPSHOT/org.overture.ide.debug-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/pom.xml under org/overturetool/ide/org.overture.ide.vdmsl/3.0.3-SNAPSHOT/org.overture.ide.vdmsl-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/core/pom.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.core/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.core-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/core/target/org.overture.ide.vdmsl.core-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.core/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.core-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/core/target/p2content.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.core/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.core-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/core/target/p2artifacts.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.core/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.core-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/ui/pom.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.ui-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/ui/target/org.overture.ide.vdmsl.ui-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.ui-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/ui/target/p2content.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.ui-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/ui/target/p2artifacts.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.ui-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/debug/pom.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.debug-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/debug/target/org.overture.ide.vdmsl.debug-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.debug-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/debug/target/p2content.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.debug-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmsl/debug/target/p2artifacts.xml under org/overturetool/ide/vdmsl/org.overture.ide.vdmsl.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmsl.debug-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/pom.xml under org/overturetool/ide/org.overture.ide.vdmpp/3.0.3-SNAPSHOT/org.overture.ide.vdmpp-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/core/pom.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.core/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/core/target/org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.core/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/core/target/p2content.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.core/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/core/target/p2artifacts.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.core/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.core-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/ui/pom.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.ui-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/ui/target/org.overture.ide.vdmpp.ui-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.ui-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/ui/target/p2content.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.ui-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/ui/target/p2artifacts.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.ui-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/debug/pom.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.debug-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/debug/target/org.overture.ide.vdmpp.debug-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.debug-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/debug/target/p2content.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.debug-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmpp/debug/target/p2artifacts.xml under org/overturetool/ide/vdmpp/org.overture.ide.vdmpp.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmpp.debug-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/pom.xml under org/overturetool/ide/org.overture.ide.vdmrt/3.0.3-SNAPSHOT/org.overture.ide.vdmrt-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/core/pom.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.core/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/core/target/org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.core/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/core/target/p2content.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.core/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/core/target/p2artifacts.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.core/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.core-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/ui/pom.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.ui-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/ui/target/org.overture.ide.vdmrt.ui-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.ui-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/ui/target/p2content.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.ui-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/ui/target/p2artifacts.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.ui/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.ui-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/debug/pom.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.debug-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/debug/target/org.overture.ide.vdmrt.debug-3.0.3-SNAPSHOT.jar under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.debug-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/debug/target/p2content.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.debug-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/vdmrt/debug/target/p2artifacts.xml under org/overturetool/ide/vdmrt/org.overture.ide.vdmrt.debug/3.0.3-SNAPSHOT/org.overture.ide.vdmrt.debug-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/help/pom.xml under org/overturetool/ide/org.overture.ide.help/3.0.3-SNAPSHOT/org.overture.ide.help-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/help/target/org.overture.ide.help-3.0.3-SNAPSHOT.jar under org/overturetool/ide/org.overture.ide.help/3.0.3-SNAPSHOT/org.overture.ide.help-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/help/target/p2content.xml under org/overturetool/ide/org.overture.ide.help/3.0.3-SNAPSHOT/org.overture.ide.help-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/help/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.help/3.0.3-SNAPSHOT/org.overture.ide.help-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/pom.xml under org/overturetool/ide/org.overture.ide.plugins/3.0.3-SNAPSHOT/org.overture.ide.plugins-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/externaleditor/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.externaleditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.externaleditor-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/externaleditor/target/org.overture.ide.plugins.externaleditor-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.externaleditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.externaleditor-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/externaleditor/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.externaleditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.externaleditor-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/externaleditor/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.externaleditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.externaleditor-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/coverageeditor/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.coverageeditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.coverageeditor-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/coverageeditor/target/org.overture.ide.plugins.coverageeditor-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.coverageeditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.coverageeditor-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/coverageeditor/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.coverageeditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.coverageeditor-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/coverageeditor/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.coverageeditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.coverageeditor-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/csk/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.csk/3.0.3-SNAPSHOT/org.overture.ide.plugins.csk-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/csk/target/org.overture.ide.plugins.csk-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.csk/3.0.3-SNAPSHOT/org.overture.ide.plugins.csk-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/csk/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.csk/3.0.3-SNAPSHOT/org.overture.ide.plugins.csk-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/csk/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.csk/3.0.3-SNAPSHOT/org.overture.ide.plugins.csk-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/quickinterpreter/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.quickinterpreter/3.0.3-SNAPSHOT/org.overture.ide.plugins.quickinterpreter-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/quickinterpreter/target/org.overture.ide.plugins.quickinterpreter-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.quickinterpreter/3.0.3-SNAPSHOT/org.overture.ide.plugins.quickinterpreter-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/quickinterpreter/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.quickinterpreter/3.0.3-SNAPSHOT/org.overture.ide.plugins.quickinterpreter-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/quickinterpreter/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.quickinterpreter/3.0.3-SNAPSHOT/org.overture.ide.plugins.quickinterpreter-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/latex/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.latex/3.0.3-SNAPSHOT/org.overture.ide.plugins.latex-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/latex/target/org.overture.ide.plugins.latex-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.latex/3.0.3-SNAPSHOT/org.overture.ide.plugins.latex-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/latex/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.latex/3.0.3-SNAPSHOT/org.overture.ide.plugins.latex-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/latex/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.latex/3.0.3-SNAPSHOT/org.overture.ide.plugins.latex-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/poviewer/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.poviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.poviewer-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/poviewer/target/org.overture.ide.plugins.poviewer-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.poviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.poviewer-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/poviewer/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.poviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.poviewer-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/poviewer/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.poviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.poviewer-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/combinatorialtesting/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.combinatorialtesting/3.0.3-SNAPSHOT/org.overture.ide.plugins.combinatorialtesting-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/combinatorialtesting/target/org.overture.ide.plugins.combinatorialtesting-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.combinatorialtesting/3.0.3-SNAPSHOT/org.overture.ide.plugins.combinatorialtesting-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/combinatorialtesting/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.combinatorialtesting/3.0.3-SNAPSHOT/org.overture.ide.plugins.combinatorialtesting-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/combinatorialtesting/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.combinatorialtesting/3.0.3-SNAPSHOT/org.overture.ide.plugins.combinatorialtesting-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/developerutils/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.developerutils/3.0.3-SNAPSHOT/org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/developerutils/target/org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.developerutils/3.0.3-SNAPSHOT/org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/developerutils/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.developerutils/3.0.3-SNAPSHOT/org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/developerutils/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.developerutils/3.0.3-SNAPSHOT/org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/uml2/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.uml2/3.0.3-SNAPSHOT/org.overture.ide.plugins.uml2-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/uml2/target/org.overture.ide.plugins.uml2-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.uml2/3.0.3-SNAPSHOT/org.overture.ide.plugins.uml2-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/uml2/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.uml2/3.0.3-SNAPSHOT/org.overture.ide.plugins.uml2-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/uml2/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.uml2/3.0.3-SNAPSHOT/org.overture.ide.plugins.uml2-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/rttraceviewer/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.rttraceviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.rttraceviewer-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/rttraceviewer/target/org.overture.ide.plugins.rttraceviewer-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.rttraceviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.rttraceviewer-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/rttraceviewer/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.rttraceviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.rttraceviewer-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/rttraceviewer/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.rttraceviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.rttraceviewer-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/javagen/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.javagen/3.0.3-SNAPSHOT/org.overture.ide.plugins.javagen-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/javagen/target/org.overture.ide.plugins.javagen-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/org.overture.ide.plugins.javagen/3.0.3-SNAPSHOT/org.overture.ide.plugins.javagen-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/javagen/target/p2content.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.javagen/3.0.3-SNAPSHOT/org.overture.ide.plugins.javagen-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/javagen/target/p2artifacts.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.javagen/3.0.3-SNAPSHOT/org.overture.ide.plugins.javagen-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/pom.xml under org/overturetool/ide/plugins/org.overture.ide.plugins.features/3.0.3-SNAPSHOT/org.overture.ide.plugins.features-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/platform/pom.xml under org/overturetool/ide/org.overture.ide.platform/3.0.3-SNAPSHOT/org.overture.ide.platform-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/platform/target/org.overture.ide.platform-3.0.3-SNAPSHOT.jar under org/overturetool/ide/org.overture.ide.platform/3.0.3-SNAPSHOT/org.overture.ide.platform-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/platform/target/p2content.xml under org/overturetool/ide/org.overture.ide.platform/3.0.3-SNAPSHOT/org.overture.ide.platform-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/platform/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.platform/3.0.3-SNAPSHOT/org.overture.ide.platform-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/pom.xml under org/overturetool/ide/features/3.0.3-SNAPSHOT/features-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/features/core/pom.xml under org/overturetool/ide/features/org.overture.ide.features.core/3.0.3-SNAPSHOT/org.overture.ide.features.core-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/features/core/target/org.overture.ide.features.core-3.0.3-SNAPSHOT.jar under org/overturetool/ide/features/org.overture.ide.features.core/3.0.3-SNAPSHOT/org.overture.ide.features.core-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/features/core/target/p2content.xml under org/overturetool/ide/features/org.overture.ide.features.core/3.0.3-SNAPSHOT/org.overture.ide.features.core-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/core/target/p2artifacts.xml under org/overturetool/ide/features/org.overture.ide.features.core/3.0.3-SNAPSHOT/org.overture.ide.features.core-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/coverageeditor/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/coverageeditor/target/org.overture.ide.plugins.features.coverageeditor-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/coverageeditor/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/csk/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.csk-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/csk/target/org.overture.ide.plugins.features.csk-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.csk-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/csk/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.csk-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.csk-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/combinatorialtesting/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/combinatorialtesting/target/org.overture.ide.plugins.features.combinatorialtesting-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/combinatorialtesting/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/developerutils/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.developerutils-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/developerutils/target/org.overture.ide.plugins.features.developerutils-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.developerutils-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/developerutils/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.developerutils-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.developerutils-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/latex/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.latex-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/latex/target/org.overture.ide.plugins.features.latex-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.latex-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/latex/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.latex-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.latex-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/poviewer/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.poviewer-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/poviewer/target/org.overture.ide.plugins.features.poviewer-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.poviewer-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/poviewer/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.poviewer-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.poviewer-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/quickinterpreter/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/quickinterpreter/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/uml2/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.uml2-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/uml2/target/org.overture.ide.plugins.features.uml2-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.uml2-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/uml2/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.uml2-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.uml2-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/rttraceviewer/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/rttraceviewer/target/org.overture.ide.plugins.features.rttraceviewer-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/rttraceviewer/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/javagen/pom.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.javagen-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/javagen/target/org.overture.ide.plugins.features.javagen-3.0.3-SNAPSHOT.jar under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.javagen-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/plugins/features/javagen/target/p2content.xml under org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.javagen-3.0.3-SNAPSHOT-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/3.0.3-SNAPSHOT/org.overture.ide.plugins.features.javagen-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/pom.xml under org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.3-SNAPSHOT/org.overture.ide.features.rcp-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/target/org.overture.ide.features.rcp-3.0.3-SNAPSHOT.jar under org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.3-SNAPSHOT/org.overture.ide.features.rcp-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/target/p2content.xml under org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.3-SNAPSHOT/org.overture.ide.features.rcp-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/target/p2artifacts.xml under org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.3-SNAPSHOT/org.overture.ide.features.rcp-3.0.3-SNAPSHOT-p2artifacts.xml
[withMaven] artifactsPublisher - Archive artifact ide/features/rcp/target/org.overture.ide.features.rcp_root-3.0.3.202104261825-root.zip under org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.3-SNAPSHOT/org.overture.ide.features.rcp-3.0.3-SNAPSHOT-root.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/pom.xml under org/overturetool/ide/org.overture.ide.product/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact ide/product/target/org.overture.ide.product-3.0.3-SNAPSHOT.zip under org/overturetool/ide/org.overture.ide.product/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT.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/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.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/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/p2artifacts.xml under org/overturetool/ide/org.overture.ide.product/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT-p2artifacts.xml
[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/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/p2content.xml under org/overturetool/ide/org.overture.ide.product/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT-p2metadata.xml
[withMaven] artifactsPublisher - Archive artifact ide/product/target/products/Overture-3.0.3-SNAPSHOT-win32.win32.x86_64.zip under org/overturetool/ide/org.overture.ide.product/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT-win32.win32.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/products/Overture-3.0.3-SNAPSHOT-linux.gtk.x86_64.zip under org/overturetool/ide/org.overture.ide.product/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT-linux.gtk.x86_64.zip
[withMaven] artifactsPublisher - Archive artifact ide/product/target/products/Overture-3.0.3-SNAPSHOT-macosx.cocoa.x86_64.zip under org/overturetool/ide/org.overture.ide.product/3.0.3-SNAPSHOT/org.overture.ide.product-3.0.3-SNAPSHOT-macosx.cocoa.x86_64.zip
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool:externals:jar:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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:3.0.3-SNAPSHOT(version: 3.0.3-SNAPSHOT, 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/re_pog_commons-io-commons-io-2.7/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/platform/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/isapog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/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/re_pog_commons-io-commons-io-2.7/core/annotations/examples/target/classes 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/annotations/provided/target/classes 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/ast/target/classes 473 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/codegen-maven-plugin/target/classes 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/codegen-runtime/target/classes 57 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/ir/target/classes 399 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/isagen/target/classes 25 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/javagen-test/target/classes 21 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/javagen/target/classes 34 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/platform/target/classes 185 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/vdm2jml-runtime/target/classes 1 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/vdm2jml/target/classes 37 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/combinatorialtesting/ctruntime/target/classes 27 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/combinatorialtesting/ctutils/target/classes 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/commandline/target/classes 0 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/interpreter/target/classes 346 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/isapog/target/classes 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/parser/target/classes 45 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/pog/target/classes 105 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/prettyprinting/npp/target/classes 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/prettyprinting/prettyprinter/target/classes 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/testframework/target/classes 23 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/testing/framework/target/classes 8 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/testing/samples/target/classes 0 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/typechecker/target/classes 155 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/documentation/releasenotes/target/classes 0 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/externals/target/classes 0 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/builders/vdmj/target/classes 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/core/target/classes 57 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/debug/target/classes 390 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/help/target/classes 8 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/parsers/vdmj/target/classes 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/platform/target/classes 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/combinatorialtesting/target/classes 83 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/coverageeditor/target/classes 13 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/csk/target/classes 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/developerutils/target/classes 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/externaleditor/target/classes 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/javagen/target/classes 11 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/latex/target/classes 20 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/poviewer/target/classes 20 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/quickinterpreter/target/classes 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/rttraceviewer/target/classes 62 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/uml2/target/classes 25 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/product/target/classes 0 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/ui/target/classes 169 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmpp/core/target/classes 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmpp/debug/target/classes 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmpp/ui/target/classes 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmrt/core/target/classes 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmrt/debug/target/classes 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmrt/ui/target/classes 15 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmsl/core/target/classes 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmsl/debug/target/classes 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/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/re_pog_commons-io-commons-io-2.7/core/annotations/examples/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/annotations/provided/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/codegen-maven-plugin/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/codegen-runtime/src/main/java 53 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/ir/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/isagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/javagen-test/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/javagen/src/main/java 34 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/platform/src/main/java 169 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/vdm2jml-runtime/src/main/java 1 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/codegen/vdm2jml/src/main/java 37 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/combinatorialtesting/ctruntime/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/combinatorialtesting/ctutils/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/interpreter/src/main/java 288 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/isapog/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/pog/src/main/java 93 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/prettyprinting/npp/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/prettyprinting/prettyprinter/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/core/typechecker/src/main/java 138 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/builders/vdmj/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/core/src/main/java 46 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/debug/src/main/java 285 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/help/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/parsers/vdmj/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/platform/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/combinatorialtesting/src/main/java 42 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/coverageeditor/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/csk/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/developerutils/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/externaleditor/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/javagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/latex/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/poviewer/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/quickinterpreter/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/rttraceviewer/src/main/java 48 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/plugins/uml2/src/main/java 15 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/ui/src/main/java 117 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmpp/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmpp/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmpp/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmrt/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmrt/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmrt/ui/src/main/java 14 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmsl/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmsl/debug/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/ide/vdmsl/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7/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: 40, line: 38, branch: 28, instruction: 37, complexity: 29
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool:root:pom:3.0.3-SNAPSHOT in source directory src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:ast:jar:3.0.3-SNAPSHOT in source directory core/ast/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:testframework:jar:3.0.3-SNAPSHOT in source directory core/testframework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:parser:jar:3.0.3-SNAPSHOT in source directory core/parser/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:typechecker:jar:3.0.3-SNAPSHOT in source directory core/typechecker/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.testing:framework:jar:3.0.3-SNAPSHOT in source directory core/testing/framework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.prettyprinting:prettyprinter:jar:3.0.3-SNAPSHOT in source directory core/prettyprinting/prettyprinter/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:pog:jar:3.0.3-SNAPSHOT in source directory core/pog/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:interpreter:jar:3.0.3-SNAPSHOT in source directory core/interpreter/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.combinatorialtesting:ctutils:jar:3.0.3-SNAPSHOT in source directory core/combinatorialtesting/ctutils/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.combinatorialtesting:ctruntime:jar:3.0.3-SNAPSHOT in source directory core/combinatorialtesting/ctruntime/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:npp:jar:3.0.3-SNAPSHOT in source directory core/prettyprinting/npp/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:ir:jar:3.0.3-SNAPSHOT in source directory core/codegen/ir/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:platform:jar:3.0.3-SNAPSHOT in source directory core/codegen/platform/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:codegen-runtime:jar:3.0.3-SNAPSHOT in source directory core/codegen/codegen-runtime/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:javagen-test:jar:3.0.3-SNAPSHOT in source directory core/codegen/javagen-test/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:javagen:jar:3.0.3-SNAPSHOT in source directory core/codegen/javagen/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:vdm2jml-runtime:jar:3.0.3-SNAPSHOT in source directory core/codegen/vdm2jml-runtime/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:vdm2jml:jar:3.0.3-SNAPSHOT in source directory core/codegen/vdm2jml/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:codegen-plugin:maven-plugin:3.0.3-SNAPSHOT in source directory core/codegen/codegen-maven-plugin/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.codegen:isagen:jar:3.0.3-SNAPSHOT in source directory core/codegen/isagen/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:isapog:jar:3.0.3-SNAPSHOT in source directory core/isapog/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.annotations:provided:jar:3.0.3-SNAPSHOT in source directory core/annotations/provided/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.annotations:examples:jar:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT 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:3.0.3-SNAPSHOT in source directory ide/platform/src/main/java
[TASKS] Scanning folder '/var/lib/jenkins/workspace/re_pog_commons-io-commons-io-2.7' 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 1722 files to scan for tasks
[TASKS] Found 417 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[withMaven] Publishers: Pipeline Graph Publisher: 303 ms, Generated Artifacts Publisher: 45464 ms, Invoker Publisher: 3 ms, Junit Publisher: 1728 ms, Concordion Publisher: 4 ms, Dependencies Fingerprint Publisher: 4438 ms, Findbugs Publisher: 5 ms, JGiven Publisher: 4 ms, Jacoco Publisher: 3579 ms, SpotBugs Publisher: 2 ms, Open Task Scanner Publisher: 2161 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
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
