FailedConsole Output

Skipping 1,145 KB.. Full Log
 does not exist
[WARNING] import org.overture.cgisa.isair.declarations.AMrFuncGroupDeclIR;
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java/org/overturetool/cgisa/transformations/GroupMutRecs.java:40: error: cannot find symbol
[WARNING] public class GroupMutRecs extends DepthFirstAnalysisIsaAdaptor implements
[WARNING] ^
[WARNING] symbol: class DepthFirstAnalysisIsaAdaptor
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java/org/overturetool/cgisa/IsaGen.java:88: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/isagen-3.0.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --------------------< org.overturetool.core:isapog >--------------------
[INFO] Building POG - Isagen Integration 3.0.3-SNAPSHOT                 [30/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ isapog ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ isapog ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ isapog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/../../documentation/examples
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ isapog ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ isapog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 7 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ isapog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ isapog ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353" 
Running org.overture.isapog.ThyWriteTest
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.146 sec - in org.overture.isapog.ThyWriteTest
Running org.overture.isapog.IsaPogIntegrationTest
Tests run: 3, Failures: 0, Errors: 0, Skipped: 3, Time elapsed: 0.021 sec - in org.overture.isapog.IsaPogIntegrationTest

Results :

Tests run: 4, Failures: 0, Errors: 0, Skipped: 3

[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ isapog ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/isapog-3.0.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ isapog ---
[INFO] Analyzed bundle 'POG - Isagen Integration' with 2 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ isapog ---
[INFO] 
1 warning
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353"
[WARNING] /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/src/main/java/org/overture/isapog/IsaPog.java:104: warning: no description for @throws
[WARNING] * @throws IOException
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/isapog-3.0.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -----------------< org.overturetool.core:annotations >------------------
[INFO] Building VDM Annotations 3.0.3-SNAPSHOT                          [31/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ annotations ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ annotations ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ annotations ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ annotations ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO] 
[INFO] -------------< org.overturetool.core.annotations:provided >-------------
[INFO] Building Provided Annotations 3.0.3-SNAPSHOT                     [32/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ provided ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ provided ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ provided ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ provided ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ provided ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ provided ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ provided ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ provided ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/provided-3.0.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ provided ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ provided ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/provided-3.0.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -------------< org.overturetool.core.annotations:examples >-------------
[INFO] Building Annotation Examples 3.0.3-SNAPSHOT                      [33/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ examples ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ examples ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ examples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ examples ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ examples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ examples ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ examples ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ examples ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/examples-3.0.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ examples ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ examples ---
[WARNING] Javadoc Warnings
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353"
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/examples-3.0.3-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -------------------< org.overturetool:documentation >-------------------
[INFO] Building Documentation 3.0.3-SNAPSHOT                            [34/35]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ documentation ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ documentation ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/documentation/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ documentation ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/documentation/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] ------------< org.overturetool.documentation:releasenotes >-------------
[INFO] Building The Overture release notes 3.0.3-SNAPSHOT               [35/35]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ releasenotes ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ releasenotes ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overturetool_ncb_development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ releasenotes ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 83 resources to /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/classes/releasenotes
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ releasenotes ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ releasenotes ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ releasenotes ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ releasenotes ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ releasenotes ---
[INFO] Building jar: /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/releasenotes-3.0.3-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ releasenotes ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/coverage-reports/jacoco-unit.exec
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 3.0.3-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  0.648 s]
[INFO] Overture External Resources ........................ SUCCESS [  4.233 s]
[INFO] Core Tools ......................................... SUCCESS [  1.476 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  3.077 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  1.704 s]
[INFO] The VDM parser ..................................... SUCCESS [ 10.357 s]
[INFO] The VDM Type Checker ............................... SUCCESS [ 30.600 s]
[INFO] Overture Testing ................................... SUCCESS [  0.011 s]
[INFO] Overture Testing Framework ......................... SUCCESS [  1.494 s]
[INFO] Overture Sample Tests .............................. SUCCESS [  6.156 s]
[INFO] VDM Pretty Printing ................................ SUCCESS [  0.015 s]
[INFO] The VDM Pretty Printer ............................. SUCCESS [  1.960 s]
[INFO] The Proof Obligation Generator ..................... SUCCESS [ 13.304 s]
[INFO] The VDM Interpreter ................................ SUCCESS [ 24.726 s]
[INFO] Combinatorial Testing .............................. SUCCESS [  0.020 s]
[INFO] Combinatorial Testing Utilities .................... SUCCESS [  1.478 s]
[INFO] Combinatorial Testing Runtime ...................... SUCCESS [ 25.316 s]
[INFO] New Pretty Printer ................................. SUCCESS [  3.407 s]
[INFO] Overture Core Command Line Tool .................... SUCCESS [  4.654 s]
[INFO] Code Generation .................................... SUCCESS [  0.013 s]
[INFO] The Intermediate Representation Tree ............... SUCCESS [  1.837 s]
[INFO] The Code Generation Platform ....................... SUCCESS [01:00 min]
[INFO] The Java Code Generator Runtime .................... SUCCESS [  3.997 s]
[INFO] The Java Code Generator Testing .................... SUCCESS [  1.410 s]
[INFO] The Java Code Generator ............................ SUCCESS [ 39.447 s]
[INFO] The VDM to JML Generator Runtime ................... SUCCESS [  1.099 s]
[INFO] The VDM to JML Generator ........................... SUCCESS [ 28.421 s]
[INFO] The Java Code Generator Maven Plugin ............... SUCCESS [  9.599 s]
[INFO] The VDM to Isabelle Translator ..................... SUCCESS [  7.181 s]
[INFO] POG - Isagen Integration ........................... SUCCESS [  3.678 s]
[INFO] VDM Annotations .................................... SUCCESS [  0.030 s]
[INFO] Provided Annotations ............................... SUCCESS [  1.558 s]
[INFO] Annotation Examples ................................ SUCCESS [  1.024 s]
[INFO] Documentation ...................................... SUCCESS [  0.006 s]
[INFO] The Overture release notes ......................... SUCCESS [  0.110 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  04:55 min
[INFO] Finished at: 2022-04-11T11:46:00+02:00
[INFO] ------------------------------------------------------------------------
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven6fc0c353/maven-spy-20220411-114105-1178296106372956644184.log
[Pipeline] archiveArtifacts
Archiving artifacts
Recording fingerprints
[Pipeline] step
Recording test results
[Pipeline] jacoco
[JaCoCo plugin] Collecting JaCoCo coverage data...
[JaCoCo plugin] **/**.exec;**/classes;**/src/main/java; locations are configured
[JaCoCo plugin] Number of found exec files for pattern **/**.exec: 13
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: **/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/classes 57 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/target/classes 399 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/classes 25 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/target/classes 21 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/classes 34 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/classes 185 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/target/classes 1 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/classes 37 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/target/classes 27 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctutils/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/commandline/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/src/test/resources/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/target/classes 346 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/target/test-classes/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/target/classes 105 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/prettyprinter/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/framework/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/samples/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/src/test/resources/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/classes 155 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/test-classes/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/externals/target/classes 0 files
[JaCoCo plugin] Saving matched source directories for source-pattern: **/src/main/java: 
[JaCoCo plugin] Source Inclusions: **/*.java,**/*.groovy,**/*.kt,**/*.kts
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java 53 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/cppgen/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/src/main/java 34 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/src/main/java 169 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/src/main/java 1 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/src/main/java 37 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctutils/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/src/main/java 288 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/src/main/java 93 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/prettyprinter/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/src/main/java 138 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/builders/vdmj/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/core/src/main/java 46 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/debug/src/main/java 285 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/help/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/parsers/vdmj/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/platform/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/combinatorialtesting/src/main/java 42 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/coverageeditor/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/csk/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/developerutils/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/externaleditor/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/isatrans/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/javagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/latex/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/poviewer/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/quickinterpreter/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/rttraceviewer/src/main/java 48 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/uml2.tests/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/plugins/uml2/src/main/java 15 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/ui.tests/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/ui/src/main/java 117 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmpp/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmpp/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmpp/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmrt/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmrt/debug/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmrt/ui/src/main/java 14 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmsl/core/src/main/java 3 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmsl/debug/src/main/java 6 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/ide/vdmsl/ui/src/main/java 12 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/src/main/java 0 files
[JaCoCo plugin] Loading inclusions files..
[JaCoCo plugin] inclusions: []
[JaCoCo plugin] exclusions: [**/org/overture/ast/analysis/**/*.*, **/org/overture/ast/expressions/**/*.*, **/org/overture/ast/modules/**/*.*, **/org/overture/ast/node/**/*.*, **/org/overture/ast/patterns/**/*.*, **/org/overture/ast/statements/**/*.*, **/org/overture/ast/types/**/*.*, **/org/overture/codegen/ir/**/*, **/org/overture/ide/**/*]
[JaCoCo plugin] Thresholds: JacocoHealthReportThresholds [minClass=0, maxClass=0, minMethod=0, maxMethod=0, minLine=0, maxLine=0, minBranch=0, maxBranch=0, minInstruction=0, maxInstruction=0, minComplexity=0, maxComplexity=0]
[JaCoCo plugin] Publishing the results..
[JaCoCo plugin] Loading packages..
[JaCoCo plugin] Done.
[JaCoCo plugin] Overall coverage: class: 77, method: 53, line: 52, branch: 41, instruction: 53, complexity: 41
[Pipeline] openTasks
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overturetool_ncb_development' for files matching the pattern '**/*.java' - excludes: 
[TASKS] Found 3449 files to scan for tasks
[TASKS] Found 464 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[TASKS] Computing warning deltas based on reference build #176
[Pipeline] }
[withMaven] artifactsPublisher - Archive artifact pom.xml under org/overturetool/root/3.0.3-SNAPSHOT/root-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/pom.xml under org/overturetool/externals/3.0.3-SNAPSHOT/externals-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/target/externals-3.0.3-SNAPSHOT.jar under org/overturetool/externals/3.0.3-SNAPSHOT/externals-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pom.xml under org/overturetool/core/3.0.3-SNAPSHOT/core-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/pom.xml under org/overturetool/core/ast/3.0.3-SNAPSHOT/ast-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-3.0.3-SNAPSHOT.jar under org/overturetool/core/ast/3.0.3-SNAPSHOT/ast-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/ast/3.0.3-SNAPSHOT/ast-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/pom.xml under org/overturetool/core/testframework/3.0.3-SNAPSHOT/testframework-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-3.0.3-SNAPSHOT.jar under org/overturetool/core/testframework/3.0.3-SNAPSHOT/testframework-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/testframework/3.0.3-SNAPSHOT/testframework-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/pom.xml under org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-3.0.3-SNAPSHOT.jar under org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/pom.xml under org/overturetool/core/typechecker/3.0.3-SNAPSHOT/typechecker-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-3.0.3-SNAPSHOT.jar under org/overturetool/core/typechecker/3.0.3-SNAPSHOT/typechecker-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/typechecker/3.0.3-SNAPSHOT/typechecker-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/pom.xml under org/overturetool/core/testing/3.0.3-SNAPSHOT/testing-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/pom.xml under org/overturetool/core/testing/framework/3.0.3-SNAPSHOT/framework-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-3.0.3-SNAPSHOT.jar under org/overturetool/core/testing/framework/3.0.3-SNAPSHOT/framework-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/testing/framework/3.0.3-SNAPSHOT/framework-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/samples/pom.xml under org/overturetool/core/testing/samples/3.0.3-SNAPSHOT/samples-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/samples/target/samples-3.0.3-SNAPSHOT.jar under org/overturetool/core/testing/samples/3.0.3-SNAPSHOT/samples-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/pom.xml under org/overturetool/core/prettyprinting/3.0.3-SNAPSHOT/prettyprinting-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/pom.xml under org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/target/prettyprinter-3.0.3-SNAPSHOT.jar under org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/prettyprinter/target/prettyprinter-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/pog/pom.xml under org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/pog/target/pog-3.0.3-SNAPSHOT.jar under org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pog/target/pog-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/interpreter/pom.xml under org/overturetool/core/interpreter/3.0.3-SNAPSHOT/interpreter-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/interpreter/target/interpreter-3.0.3-SNAPSHOT.jar under org/overturetool/core/interpreter/3.0.3-SNAPSHOT/interpreter-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/interpreter/target/interpreter-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/interpreter/3.0.3-SNAPSHOT/interpreter-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/pom.xml under org/overturetool/core/combinatorialtesting/3.0.3-SNAPSHOT/combinatorialtesting-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/pom.xml under org/overturetool/core/combinatorialtesting/ctutils/3.0.3-SNAPSHOT/ctutils-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/target/ctutils-3.0.3-SNAPSHOT.jar under org/overturetool/core/combinatorialtesting/ctutils/3.0.3-SNAPSHOT/ctutils-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctutils/target/ctutils-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/combinatorialtesting/ctutils/3.0.3-SNAPSHOT/ctutils-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/pom.xml under org/overturetool/core/combinatorialtesting/ctruntime/3.0.3-SNAPSHOT/ctruntime-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/target/ctruntime-3.0.3-SNAPSHOT.jar under org/overturetool/core/combinatorialtesting/ctruntime/3.0.3-SNAPSHOT/ctruntime-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/combinatorialtesting/ctruntime/target/ctruntime-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/combinatorialtesting/ctruntime/3.0.3-SNAPSHOT/ctruntime-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/pom.xml under org/overturetool/core/npp/3.0.3-SNAPSHOT/npp-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/target/npp-3.0.3-SNAPSHOT.jar under org/overturetool/core/npp/3.0.3-SNAPSHOT/npp-3.0.3-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/prettyprinting/npp/target/npp-3.0.3-SNAPSHOT-javadoc.jar under org/overturetool/core/npp/3.0.3-SNAPSHOT/npp-3.0.3-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/commandline/pom.xml under org/overturetool/core/commandlinetool/3.0.3-SNAPSHOT/commandlinetool-3.0.3-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/commandline/target/commandlinetool-3.0.3-SNAPSHOT.jar under org/overturetool/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] 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
[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;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;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; 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: 13
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes,core/testing/target/classes,core/testing/framework/target/classes,core/testing/samples/target/classes,core/prettyprinting/target/classes,core/prettyprinting/prettyprinter/target/classes,core/pog/target/classes,core/interpreter/target/classes,core/combinatorialtesting/target/classes,core/combinatorialtesting/ctutils/target/classes,core/combinatorialtesting/ctruntime/target/classes,core/prettyprinting/npp/target/classes,core/commandline/target/classes,core/codegen/target/classes,core/codegen/ir/target/classes,core/codegen/platform/target/classes,core/codegen/codegen-runtime/target/classes,core/codegen/javagen-test/target/classes,core/codegen/javagen/target/classes,core/codegen/vdm2jml-runtime/target/classes,core/codegen/vdm2jml/target/classes,core/codegen/codegen-maven-plugin/target/classes,core/codegen/isagen/target/classes,core/isapog/target/classes,core/annotations/target/classes,core/annotations/provided/target/classes,core/annotations/examples/target/classes,documentation/target/classes,documentation/releasenotes/target/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/target/classes 57 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/target/classes 399 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/target/classes 25 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/target/classes 21 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/target/classes 34 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/target/classes 185 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/target/classes 1 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/target/classes 37 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/target/classes 27 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctutils/target/classes 6 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/commandline/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/target/classes 346 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/target/classes 2 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/target/classes 105 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/target/classes 7 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/prettyprinter/target/classes 4 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/framework/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/samples/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/target/classes 155 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/documentation/releasenotes/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/overturetool_ncb_development/externals/target/classes 0 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: 
[JaCoCo plugin] Source Inclusions: **/*.java,**/*.groovy,**/*.kt,**/*.kts
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/examples/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/annotations/provided/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-maven-plugin/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/codegen-runtime/src/main/java 53 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/ir/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/isagen/src/main/java 10 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen-test/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/javagen/src/main/java 34 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/platform/src/main/java 169 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml-runtime/src/main/java 1 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/codegen/vdm2jml/src/main/java 37 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctruntime/src/main/java 19 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/combinatorialtesting/ctutils/src/main/java 5 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/interpreter/src/main/java 288 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/isapog/src/main/java 2 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/pog/src/main/java 93 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/npp/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/prettyprinting/prettyprinter/src/main/java 4 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/core/typechecker/src/main/java 138 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/overturetool_ncb_development/src/main/java 0 files
[JaCoCo plugin] Loading inclusions files..
[JaCoCo plugin] inclusions: []
[JaCoCo plugin] exclusions: []
[JaCoCo plugin] Thresholds: JacocoHealthReportThresholds [minClass=0, maxClass=0, minMethod=0, maxMethod=0, minLine=0, maxLine=0, minBranch=0, maxBranch=0, minInstruction=0, maxInstruction=0, minComplexity=0, maxComplexity=0]
[JaCoCo plugin] Publishing the results..
[JaCoCo plugin] Loading packages..
[JaCoCo plugin] Done.
[JaCoCo plugin] Overall coverage: class: 83, method: 44, line: 42, branch: 30, instruction: 41, complexity: 32
[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
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overturetool_ncb_development' for files matching the pattern 'src/main/java/**/*,core/ast/src/main/java/**/*,core/testframework/src/main/java/**/*,core/parser/src/main/java/**/*,core/typechecker/src/main/java/**/*,core/testing/framework/src/main/java/**/*,core/prettyprinting/prettyprinter/src/main/java/**/*,core/pog/src/main/java/**/*,core/interpreter/src/main/java/**/*,core/combinatorialtesting/ctutils/src/main/java/**/*,core/combinatorialtesting/ctruntime/src/main/java/**/*,core/prettyprinting/npp/src/main/java/**/*,core/codegen/ir/src/main/java/**/*,core/codegen/platform/src/main/java/**/*,core/codegen/codegen-runtime/src/main/java/**/*,core/codegen/javagen-test/src/main/java/**/*,core/codegen/javagen/src/main/java/**/*,core/codegen/vdm2jml-runtime/src/main/java/**/*,core/codegen/vdm2jml/src/main/java/**/*,core/codegen/codegen-maven-plugin/src/main/java/**/*,core/codegen/isagen/src/main/java/**/*,core/isapog/src/main/java/**/*,core/annotations/provided/src/main/java/**/*,core/annotations/examples/src/main/java/**/*' - excludes: null
[TASKS] Found 1027 files to scan for tasks
[TASKS] Found 217 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[TASKS] Computing warning deltas based on reference build #176
[withMaven] Publishers: Pipeline Graph Publisher: 54 ms, Generated Artifacts Publisher: 3064 ms, Invoker Publisher: 1 ms, Junit Publisher: 723 ms, Concordion Publisher: 1 ms, Dependencies Fingerprint Publisher: 801 ms, Findbugs Publisher: 1 ms, JGiven Publisher: 1 ms, Jacoco Publisher: 2823 ms, Open Task Scanner Publisher: 924 ms
[Pipeline] // withMaven
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Install IDE)
[Pipeline] withMaven
[withMaven] Options: []
[withMaven] Available options: 
[withMaven] using JDK installation provided by the build agent
$ /bin/sh -c "which mvn"
[withMaven] using Maven installation provided by the build agent with executable /usr/bin/mvn
[Pipeline] {
[Pipeline] sh
+ mvn install -PWith-IDE -Pall-platforms -P!linux64 -DexternalTestsPath=/var/lib/jenkins/internal-resources/externaltests/ -P!ui-tests -Pforce-download-externals -Pcodesigning
----- withMaven Wrapper script -----
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven45e12541/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven45e12541" 
Apache Maven 3.6.0
Maven home: /usr/share/maven
Java version: 1.8.0_121, vendor: Oracle Corporation, runtime: /usr/lib/jvm/java-8-oracle/jre
Default locale: en_GB, platform encoding: UTF-8
OS name: "linux", version: "4.15.0-101-generic", arch: "amd64", family: "unix"
[INFO] [jenkins-event-spy] Generate /var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven45e12541/maven-spy-20220411-114630-7093985745483839847131.log.tmp ...
[INFO] Scanning for projects...
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-bundles-external/1.7.0/tycho-bundles-external-1.7.0.zip
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-bundles-external/1.7.0/tycho-bundles-external-1.7.0.zip (8.2 MB at 9.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.resolver.impl/1.7.0/org.eclipse.tycho.p2.resolver.impl-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.resolver.impl/1.7.0/org.eclipse.tycho.p2.resolver.impl-1.7.0.jar (218 kB at 5.6 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.maven.repository/1.7.0/org.eclipse.tycho.p2.maven.repository-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.maven.repository/1.7.0/org.eclipse.tycho.p2.maven.repository-1.7.0.jar (148 kB at 3.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.tools.impl/1.7.0/org.eclipse.tycho.p2.tools.impl-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.tools.impl/1.7.0/org.eclipse.tycho.p2.tools.impl-1.7.0.jar (50 kB at 1.6 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/versions-maven-plugin/2.2/versions-maven-plugin-2.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/versions-maven-plugin/2.2/versions-maven-plugin-2.2.pom (16 kB at 270 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/mojo-parent/34/mojo-parent-34.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/mojo-parent/34/mojo-parent-34.pom (25 kB at 771 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/versions-maven-plugin/2.2/versions-maven-plugin-2.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/versions-maven-plugin/2.2/versions-maven-plugin-2.2.jar (256 kB at 6.9 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-jarsigner-plugin/1.2/maven-jarsigner-plugin-1.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-jarsigner-plugin/1.2/maven-jarsigner-plugin-1.2.pom (5.4 kB at 216 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/14/maven-plugins-14.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/14/maven-plugins-14.pom (13 kB at 522 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-jarsigner-plugin/1.2/maven-jarsigner-plugin-1.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-jarsigner-plugin/1.2/maven-jarsigner-plugin-1.2.jar (28 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/target-platform-configuration/1.7.0/target-platform-configuration-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/target-platform-configuration/1.7.0/target-platform-configuration-1.7.0.pom (1.7 kB at 74 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/target-platform-configuration/1.7.0/target-platform-configuration-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/target-platform-configuration/1.7.0/target-platform-configuration-1.7.0.jar (7.8 kB at 324 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-packaging-plugin/1.7.0/tycho-packaging-plugin-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-packaging-plugin/1.7.0/tycho-packaging-plugin-1.7.0.pom (2.5 kB at 79 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-packaging-plugin/1.7.0/tycho-packaging-plugin-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-packaging-plugin/1.7.0/tycho-packaging-plugin-1.7.0.jar (130 kB at 4.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-plugin/1.7.0/tycho-p2-plugin-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-plugin/1.7.0/tycho-p2-plugin-1.7.0.pom (2.2 kB at 100 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-plugin/1.7.0/tycho-p2-plugin-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-plugin/1.7.0/tycho-p2-plugin-1.7.0.jar (29 kB at 754 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-launching/1.7.0/sisu-equinox-launching-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-launching/1.7.0/sisu-equinox-launching-1.7.0.pom (2.7 kB at 117 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.pom (11 kB at 524 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/35/commons-parent-35.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/35/commons-parent-35.pom (58 kB at 2.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-artifactcomparator/1.7.0/tycho-artifactcomparator-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-artifactcomparator/1.7.0/tycho-artifactcomparator-1.7.0.pom (2.2 kB at 94 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/7.2/asm-tree-7.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/7.2/asm-tree-7.2.pom (3.1 kB at 149 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/ow2/1.5/ow2-1.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/ow2/1.5/ow2-1.5.pom (11 kB at 380 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/7.2/asm-7.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/7.2/asm-7.2.pom (2.9 kB at 147 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-util/7.2/asm-util-7.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-util/7.2/asm-util-7.2.pom (3.7 kB at 174 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-analysis/7.2/asm-analysis-7.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-analysis/7.2/asm-analysis-7.2.pom (3.2 kB at 166 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-launching/1.7.0/sisu-equinox-launching-1.7.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-artifactcomparator/1.7.0/tycho-artifactcomparator-1.7.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/7.2/asm-7.2.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/7.2/asm-tree-7.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.jar (54 kB at 1.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-util/7.2/asm-util-7.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-tree/7.2/asm-tree-7.2.jar (50 kB at 986 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-analysis/7.2/asm-analysis-7.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-launching/1.7.0/sisu-equinox-launching-1.7.0.jar (28 kB at 452 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-artifactcomparator/1.7.0/tycho-artifactcomparator-1.7.0.jar (20 kB at 278 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm/7.2/asm-7.2.jar (115 kB at 1.2 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-util/7.2/asm-util-7.2.jar (81 kB at 938 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-analysis/7.2/asm-analysis-7.2.jar (33 kB at 376 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-compiler-plugin/1.7.0/tycho-compiler-plugin-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-compiler-plugin/1.7.0/tycho-compiler-plugin-1.7.0.pom (2.5 kB at 120 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-compiler-plugin/1.7.0/tycho-compiler-plugin-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-compiler-plugin/1.7.0/tycho-compiler-plugin-1.7.0.jar (34 kB at 1.5 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-install-plugin/2.5.2/maven-install-plugin-2.5.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-install-plugin/2.5.2/maven-install-plugin-2.5.2.pom (6.4 kB at 338 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-install-plugin/2.5.2/maven-install-plugin-2.5.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-install-plugin/2.5.2/maven-install-plugin-2.5.2.jar (33 kB at 1.6 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-deploy-plugin/2.8.2/maven-deploy-plugin-2.8.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-deploy-plugin/2.8.2/maven-deploy-plugin-2.8.2.pom (7.1 kB at 376 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-deploy-plugin/2.8.2/maven-deploy-plugin-2.8.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-deploy-plugin/2.8.2/maven-deploy-plugin-2.8.2.jar (34 kB at 1.6 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-site-plugin/3.4/maven-site-plugin-3.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-site-plugin/3.4/maven-site-plugin-3.4.pom (20 kB at 808 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-site-plugin/3.4/maven-site-plugin-3.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-site-plugin/3.4/maven-site-plugin-3.4.jar (127 kB at 4.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-standalone-p2-director/1.7.0/tycho-standalone-p2-director-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-standalone-p2-director/1.7.0/tycho-standalone-p2-director-1.7.0.pom (1.8 kB at 43 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-standalone-p2-director/1.7.0/tycho-standalone-p2-director-1.7.0.zip
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.20/commons-compress-1.20-sources.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.20/commons-compress-1.20-sources.jar (580 kB at 9.2 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-standalone-p2-director/1.7.0/tycho-standalone-p2-director-1.7.0.zip (8.1 MB at 18 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-publisher-plugin/1.7.0/tycho-p2-publisher-plugin-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-publisher-plugin/1.7.0/tycho-p2-publisher-plugin-1.7.0.pom (1.9 kB at 84 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-publisher-plugin/1.7.0/tycho-p2-publisher-plugin-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-publisher-plugin/1.7.0/tycho-p2-publisher-plugin-1.7.0.jar (21 kB at 911 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.5.0/maven-archiver-3.5.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.5.0/maven-archiver-3.5.0.pom (4.5 kB at 135 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/33/maven-shared-components-33.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/33/maven-shared-components-33.pom (5.1 kB at 243 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/33/maven-parent-33.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/33/maven-parent-33.pom (45 kB at 1.3 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/3.2.1/maven-shared-utils-3.2.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/3.2.1/maven-shared-utils-3.2.1.pom (5.6 kB at 268 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/30/maven-shared-components-30.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/30/maven-shared-components-30.pom (4.6 kB at 218 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/30/maven-parent-30.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/30/maven-parent-30.pom (42 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.5/commons-io-2.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.5/commons-io-2.5.pom (13 kB at 664 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/39/commons-parent-39.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/39/commons-parent-39.pom (62 kB at 2.5 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.25/plexus-interpolation-1.25.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.25/plexus-interpolation-1.25.pom (2.6 kB at 106 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.5.0/maven-archiver-3.5.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/3.2.1/maven-shared-utils-3.2.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.5/commons-io-2.5.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/3.5.0/maven-archiver-3.5.0.jar (26 kB at 879 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/3.2.1/maven-shared-utils-3.2.1.jar (167 kB at 4.4 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.5/commons-io-2.5.jar (209 kB at 5.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-repository-plugin/1.7.0/tycho-p2-repository-plugin-1.7.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-repository-plugin/1.7.0/tycho-p2-repository-plugin-1.7.0.pom (1.4 kB at 62 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-repository-plugin/1.7.0/tycho-p2-repository-plugin-1.7.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-repository-plugin/1.7.0/tycho-p2-repository-plugin-1.7.0.jar (15 kB at 648 kB/s)
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overturetool_ncb_development/ide/core/pom.xml
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-12/ (122B)
[INFO] Adding repository http://download.eclipse.org/releases/2020-12
[INFO] Fetching compositeContent.jar from http://download.eclipse.org/releases/2020-12/ (480B)
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven45e12541/maven-spy-20220411-114630-7093985745483839847131.log
[ERROR] Internal error: java.lang.RuntimeException: Failed to load p2 repository with ID 'eclipse-2020-12' from location http://download.eclipse.org/releases/2020-12: Unable to read repository at http://download.eclipse.org/releases/2020-12. No repository found at http://download.eclipse.org/technology/epp/packages/2020-12. -> [Help 1]
org.apache.maven.InternalErrorException: Internal error: java.lang.RuntimeException: Failed to load p2 repository with ID 'eclipse-2020-12' from location http://download.eclipse.org/releases/2020-12
    at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:120)
    at org.apache.maven.cli.MavenCli.execute (MavenCli.java:956)
    at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:288)
    at org.apache.maven.cli.MavenCli.main (MavenCli.java:192)
    at sun.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke (Method.java:498)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:289)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:229)
    at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:415)
    at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:356)
Caused by: java.lang.RuntimeException: Failed to load p2 repository with ID 'eclipse-2020-12' from location http://download.eclipse.org/releases/2020-12
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.loadMetadataRepository (TargetPlatformFactoryImpl.java:302)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.gatherExternalInstallableUnits (TargetPlatformFactoryImpl.java:270)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:176)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:128)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:1)
    at org.eclipse.tycho.p2.manager.ReactorRepositoryManagerImpl.computePreliminaryTargetPlatform (ReactorRepositoryManagerImpl.java:84)
    at org.eclipse.tycho.p2.resolver.P2DependencyResolver.computePreliminaryTargetPlatform (P2DependencyResolver.java:226)
    at org.eclipse.tycho.core.resolver.DefaultTychoResolver.resolveProject (DefaultTychoResolver.java:110)
    at org.eclipse.tycho.core.maven.TychoMavenLifecycleParticipant.afterProjectsRead (TychoMavenLifecycleParticipant.java:95)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:264)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:192)
    at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:105)
    at org.apache.maven.cli.MavenCli.execute (MavenCli.java:956)
    at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:288)
    at org.apache.maven.cli.MavenCli.main (MavenCli.java:192)
    at sun.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke (Method.java:498)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:289)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:229)
    at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:415)
    at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:356)
Caused by: org.eclipse.equinox.p2.core.ProvisionException: Unable to read repository at http://download.eclipse.org/releases/2020-12.
    at org.eclipse.equinox.internal.p2.metadata.repository.CompositeMetadataRepository.addChild (CompositeMetadataRepository.java:190)
    at org.eclipse.equinox.internal.p2.metadata.repository.CompositeMetadataRepository.<init> (CompositeMetadataRepository.java:113)
    at org.eclipse.equinox.internal.p2.metadata.repository.CompositeMetadataRepositoryFactory.load (CompositeMetadataRepositoryFactory.java:124)
    at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.factoryLoad (MetadataRepositoryManager.java:63)
    at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository (AbstractRepositoryManager.java:775)
    at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository (AbstractRepositoryManager.java:676)
    at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository (MetadataRepositoryManager.java:110)
    at org.eclipse.tycho.p2.remote.RemoteMetadataRepositoryManager.loadRepository (RemoteMetadataRepositoryManager.java:61)
    at org.eclipse.tycho.p2.remote.RemoteMetadataRepositoryManager.loadRepository (RemoteMetadataRepositoryManager.java:53)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.loadMetadataRepository (TargetPlatformFactoryImpl.java:298)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.gatherExternalInstallableUnits (TargetPlatformFactoryImpl.java:270)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:176)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:128)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:1)
    at org.eclipse.tycho.p2.manager.ReactorRepositoryManagerImpl.computePreliminaryTargetPlatform (ReactorRepositoryManagerImpl.java:84)
    at org.eclipse.tycho.p2.resolver.P2DependencyResolver.computePreliminaryTargetPlatform (P2DependencyResolver.java:226)
    at org.eclipse.tycho.core.resolver.DefaultTychoResolver.resolveProject (DefaultTychoResolver.java:110)
    at org.eclipse.tycho.core.maven.TychoMavenLifecycleParticipant.afterProjectsRead (TychoMavenLifecycleParticipant.java:95)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:264)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:192)
    at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:105)
    at org.apache.maven.cli.MavenCli.execute (MavenCli.java:956)
    at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:288)
    at org.apache.maven.cli.MavenCli.main (MavenCli.java:192)
    at sun.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke (Method.java:498)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:289)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:229)
    at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:415)
    at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:356)
Caused by: org.eclipse.equinox.p2.core.ProvisionException: No repository found at http://download.eclipse.org/technology/epp/packages/2020-12.
    at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.fail (AbstractRepositoryManager.java:396)
    at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository (AbstractRepositoryManager.java:700)
    at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository (MetadataRepositoryManager.java:110)
    at org.eclipse.tycho.p2.remote.RemoteMetadataRepositoryManager.loadRepository (RemoteMetadataRepositoryManager.java:61)
    at org.eclipse.tycho.p2.remote.RemoteMetadataRepositoryManager.loadRepository (RemoteMetadataRepositoryManager.java:53)
    at org.eclipse.equinox.internal.p2.metadata.repository.CompositeMetadataRepository.addChild (CompositeMetadataRepository.java:171)
    at org.eclipse.equinox.internal.p2.metadata.repository.CompositeMetadataRepository.<init> (CompositeMetadataRepository.java:113)
    at org.eclipse.equinox.internal.p2.metadata.repository.CompositeMetadataRepositoryFactory.load (CompositeMetadataRepositoryFactory.java:124)
    at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.factoryLoad (MetadataRepositoryManager.java:63)
    at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository (AbstractRepositoryManager.java:775)
    at org.eclipse.equinox.internal.p2.repository.helpers.AbstractRepositoryManager.loadRepository (AbstractRepositoryManager.java:676)
    at org.eclipse.equinox.internal.p2.metadata.repository.MetadataRepositoryManager.loadRepository (MetadataRepositoryManager.java:110)
    at org.eclipse.tycho.p2.remote.RemoteMetadataRepositoryManager.loadRepository (RemoteMetadataRepositoryManager.java:61)
    at org.eclipse.tycho.p2.remote.RemoteMetadataRepositoryManager.loadRepository (RemoteMetadataRepositoryManager.java:53)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.loadMetadataRepository (TargetPlatformFactoryImpl.java:298)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.gatherExternalInstallableUnits (TargetPlatformFactoryImpl.java:270)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:176)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:128)
    at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:1)
    at org.eclipse.tycho.p2.manager.ReactorRepositoryManagerImpl.computePreliminaryTargetPlatform (ReactorRepositoryManagerImpl.java:84)
    at org.eclipse.tycho.p2.resolver.P2DependencyResolver.computePreliminaryTargetPlatform (P2DependencyResolver.java:226)
    at org.eclipse.tycho.core.resolver.DefaultTychoResolver.resolveProject (DefaultTychoResolver.java:110)
    at org.eclipse.tycho.core.maven.TychoMavenLifecycleParticipant.afterProjectsRead (TychoMavenLifecycleParticipant.java:95)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:264)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:192)
    at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:105)
    at org.apache.maven.cli.MavenCli.execute (MavenCli.java:956)
    at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:288)
    at org.apache.maven.cli.MavenCli.main (MavenCli.java:192)
    at sun.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke (Method.java:498)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:289)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:229)
    at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:415)
    at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:356)
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/InternalErrorException
[Pipeline] }
[withMaven] Publishers: Generated Artifacts Publisher: 1 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
Not sending mail to user nick.battle@gmail.com with no permission to view overturetool » ncb/development #187[Pipeline] emailext
Sending email to: hugodsmacedo@gmail.com
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

ERROR: script returned exit code 1
Finished: FAILURE