SuccessConsole Output

Skipping 975 KB.. Full Log
1.pom (3.4 kB at 161 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/3.1.1/maven-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/3.1.1/maven-3.1.1.pom (22 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/3.1.1/maven-model-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/3.1.1/maven-model-3.1.1.pom (4.1 kB at 259 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/3.1.1/maven-artifact-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/3.1.1/maven-artifact-3.1.1.pom (2.0 kB at 116 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/org.eclipse.sisu.plexus/0.0.0.M5/org.eclipse.sisu.plexus-0.0.0.M5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/org.eclipse.sisu.plexus/0.0.0.M5/org.eclipse.sisu.plexus-0.0.0.M5.pom (4.8 kB at 284 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/sisu-plexus/0.0.0.M5/sisu-plexus-0.0.0.M5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/sisu-plexus/0.0.0.M5/sisu-plexus-0.0.0.M5.pom (13 kB at 600 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/10.0.1/guava-10.0.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/10.0.1/guava-10.0.1.pom (5.4 kB at 245 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava-parent/10.0.1/guava-parent-10.0.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava-parent/10.0.1/guava-parent-10.0.1.pom (2.0 kB at 122 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/aopalliance/aopalliance/1.0/aopalliance-1.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/aopalliance/aopalliance/1.0/aopalliance-1.0.pom (363 B at 17 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/org.eclipse.sisu.inject/0.0.0.M5/org.eclipse.sisu.inject-0.0.0.M5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/org.eclipse.sisu.inject/0.0.0.M5/org.eclipse.sisu.inject-0.0.0.M5.pom (2.5 kB at 168 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/sisu-inject/0.0.0.M5/sisu-inject-0.0.0.M5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/sisu-inject/0.0.0.M5/sisu-inject-0.0.0.M5.pom (14 kB at 875 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-core/3.1.1/maven-core-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-core/3.1.1/maven-core-3.1.1.pom (7.3 kB at 454 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/3.1.1/maven-settings-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/3.1.1/maven-settings-3.1.1.pom (2.2 kB at 136 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings-builder/3.1.1/maven-settings-builder-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings-builder/3.1.1/maven-settings-builder-3.1.1.pom (2.6 kB at 162 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/3.1.1/maven-repository-metadata-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/3.1.1/maven-repository-metadata-3.1.1.pom (2.2 kB at 131 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model-builder/3.1.1/maven-model-builder-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model-builder/3.1.1/maven-model-builder-3.1.1.pom (2.8 kB at 112 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-aether-provider/3.1.1/maven-aether-provider-3.1.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-aether-provider/3.1.1/maven-aether-provider-3.1.1.pom (4.1 kB at 241 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-api/0.9.0.M2/aether-api-0.9.0.M2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-api/0.9.0.M2/aether-api-0.9.0.M2.pom (1.7 kB at 116 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-spi/0.9.0.M2/aether-spi-0.9.0.M2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-spi/0.9.0.M2/aether-spi-0.9.0.M2.pom (1.8 kB at 117 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-impl/0.9.0.M2/aether-impl-0.9.0.M2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-impl/0.9.0.M2/aether-impl-0.9.0.M2.pom (3.3 kB at 186 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.5.1/plexus-classworlds-2.5.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.5.1/plexus-classworlds-2.5.1.pom (5.0 kB at 295 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-databind/2.5.1/jackson-databind-2.5.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-databind/2.5.1/jackson-databind-2.5.1.pom (5.9 kB at 326 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/jackson-parent/2.5/jackson-parent-2.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/jackson-parent/2.5/jackson-parent-2.5.pom (7.8 kB at 488 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/oss-parent/18/oss-parent-18.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/oss-parent/18/oss-parent-18.pom (19 kB at 447 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-annotations/2.5.0/jackson-annotations-2.5.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-annotations/2.5.0/jackson-annotations-2.5.0.pom (1.2 kB at 64 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-core/2.5.1/jackson-core-2.5.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-core/2.5.1/jackson-core-2.5.1.pom (4.8 kB at 265 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/joda-time/joda-time/2.7/joda-time-2.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/joda-time/joda-time/2.7/joda-time-2.7.pom (29 kB at 1.6 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/18.0/guava-18.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/18.0/guava-18.0.pom (5.7 kB at 333 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava-parent/18.0/guava-parent-18.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava-parent/18.0/guava-parent-18.0.pom (7.7 kB at 480 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/intellij/annotations/12.0/annotations-12.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/intellij/annotations/12.0/annotations-12.0.pom (1.6 kB at 98 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/jgit/org.eclipse.jgit/4.0.0.201506090130-r/org.eclipse.jgit-4.0.0.201506090130-r.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/jgit/org.eclipse.jgit/4.0.0.201506090130-r/org.eclipse.jgit-4.0.0.201506090130-r.pom (6.3 kB at 333 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/jgit/org.eclipse.jgit-parent/4.0.0.201506090130-r/org.eclipse.jgit-parent-4.0.0.201506090130-r.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/jgit/org.eclipse.jgit-parent/4.0.0.201506090130-r/org.eclipse.jgit-parent-4.0.0.201506090130-r.pom (27 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.51/jsch-0.1.51.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.51/jsch-0.1.51.pom (3.2 kB at 202 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/googlecode/javaewah/JavaEWAH/0.7.9/JavaEWAH-0.7.9.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/googlecode/javaewah/JavaEWAH/0.7.9/JavaEWAH-0.7.9.pom (4.3 kB at 290 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/oss/oss-parent/5/oss-parent-5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/oss/oss-parent/5/oss-parent-5.pom (3.9 kB at 164 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.1.3/httpclient-4.1.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.1.3/httpclient-4.1.3.pom (6.0 kB at 285 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-client/4.1.3/httpcomponents-client-4.1.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-client/4.1.3/httpcomponents-client-4.1.3.pom (12 kB at 713 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/project/5/project-5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/project/5/project-5.pom (23 kB at 1.3 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.1.4/httpcore-4.1.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.1.4/httpcore-4.1.4.pom (7.4 kB at 389 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-core/4.1.4/httpcomponents-core-4.1.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-core/4.1.4/httpcomponents-core-4.1.4.pom (9.8 kB at 543 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.4/commons-codec-1.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.4/commons-codec-1.4.pom (10 kB at 583 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.2/slf4j-api-1.7.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.2/slf4j-api-1.7.2.pom (2.7 kB at 158 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-parent/1.7.2/slf4j-parent-1.7.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-parent/1.7.2/slf4j-parent-1.7.2.pom (11 kB at 599 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.12/slf4j-api-1.7.12.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.12/slf4j-api-1.7.12.pom (2.7 kB at 140 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-parent/1.7.12/slf4j-parent-1.7.12.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-parent/1.7.12/slf4j-parent-1.7.12.pom (12 kB at 693 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-simple/1.7.12/slf4j-simple-1.7.12.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-simple/1.7.12/slf4j-simple-1.7.12.pom (1.4 kB at 90 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/3.1.1/maven-plugin-api-3.1.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/3.1.1/maven-model-3.1.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/3.1.1/maven-artifact-3.1.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/org.eclipse.sisu.plexus/0.0.0.M5/org.eclipse.sisu.plexus-0.0.0.M5.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/aopalliance/aopalliance/1.0/aopalliance-1.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/3.1.1/maven-artifact-3.1.1.jar (52 kB at 1.3 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/org.eclipse.sisu.inject/0.0.0.M5/org.eclipse.sisu.inject-0.0.0.M5.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/3.1.1/maven-plugin-api-3.1.1.jar (45 kB at 1.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-core/3.1.1/maven-core-3.1.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/org.eclipse.sisu.plexus/0.0.0.M5/org.eclipse.sisu.plexus-0.0.0.M5.jar (197 kB at 4.7 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/3.1.1/maven-settings-3.1.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/aopalliance/aopalliance/1.0/aopalliance-1.0.jar (4.5 kB at 91 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings-builder/3.1.1/maven-settings-builder-3.1.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/3.1.1/maven-model-3.1.1.jar (154 kB at 2.9 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/3.1.1/maven-repository-metadata-3.1.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/3.1.1/maven-settings-3.1.1.jar (42 kB at 685 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model-builder/3.1.1/maven-model-builder-3.1.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings-builder/3.1.1/maven-settings-builder-3.1.1.jar (42 kB at 660 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-aether-provider/3.1.1/maven-aether-provider-3.1.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/3.1.1/maven-repository-metadata-3.1.1.jar (25 kB at 370 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-spi/0.9.0.M2/aether-spi-0.9.0.M2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/sisu/org.eclipse.sisu.inject/0.0.0.M5/org.eclipse.sisu.inject-0.0.0.M5.jar (291 kB at 4.0 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-impl/0.9.0.M2/aether-impl-0.9.0.M2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-aether-provider/3.1.1/maven-aether-provider-3.1.1.jar (60 kB at 693 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-api/0.9.0.M2/aether-api-0.9.0.M2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-spi/0.9.0.M2/aether-spi-0.9.0.M2.jar (18 kB at 201 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.5.1/plexus-classworlds-2.5.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model-builder/3.1.1/maven-model-builder-3.1.1.jar (160 kB at 1.8 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-databind/2.5.1/jackson-databind-2.5.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-core/3.1.1/maven-core-3.1.1.jar (557 kB at 5.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-annotations/2.5.0/jackson-annotations-2.5.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.5.1/plexus-classworlds-2.5.1.jar (50 kB at 449 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-core/2.5.1/jackson-core-2.5.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-impl/0.9.0.M2/aether-impl-0.9.0.M2.jar (145 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/joda-time/joda-time/2.7/joda-time-2.7.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/aether/aether-api/0.9.0.M2/aether-api-0.9.0.M2.jar (134 kB at 1.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/18.0/guava-18.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-annotations/2.5.0/jackson-annotations-2.5.0.jar (40 kB at 278 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/intellij/annotations/12.0/annotations-12.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-core/2.5.1/jackson-core-2.5.1.jar (230 kB at 1.5 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/jgit/org.eclipse.jgit/4.0.0.201506090130-r/org.eclipse.jgit-4.0.0.201506090130-r.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/intellij/annotations/12.0/annotations-12.0.jar (20 kB at 122 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.51/jsch-0.1.51.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/joda-time/joda-time/2.7/joda-time-2.7.jar (589 kB at 3.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/googlecode/javaewah/JavaEWAH/0.7.9/JavaEWAH-0.7.9.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/fasterxml/jackson/core/jackson-databind/2.5.1/jackson-databind-2.5.1.jar (1.1 MB at 5.8 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.1.3/httpclient-4.1.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.51/jsch-0.1.51.jar (264 kB at 1.3 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.1.4/httpcore-4.1.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/googlecode/javaewah/JavaEWAH/0.7.9/JavaEWAH-0.7.9.jar (125 kB at 549 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.4/commons-codec-1.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.1.4/httpcore-4.1.4.jar (181 kB at 743 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.12/slf4j-api-1.7.12.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.1.3/httpclient-4.1.3.jar (353 kB at 1.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-simple/1.7.12/slf4j-simple-1.7.12.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.4/commons-codec-1.4.jar (58 kB at 235 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.12/slf4j-api-1.7.12.jar (32 kB at 118 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-simple/1.7.12/slf4j-simple-1.7.12.jar (11 kB at 39 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/jgit/org.eclipse.jgit/4.0.0.201506090130-r/org.eclipse.jgit-4.0.0.201506090130-r.jar (2.1 MB at 7.0 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/guava/guava/18.0/guava-18.0.jar (2.3 MB at 7.0 MB/s)
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ org.overture.ide.platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform
[INFO] 
[INFO] --- tycho-compiler-plugin:1.7.0:compile (default-compile) @ org.overture.ide.platform ---
[WARNING] Parameter 'useProjectSettings' is set to true, but preferences file '/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/.settings/org.eclipse.jdt.core.prefs' could not be found!
[INFO] Compiling 2 source files to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/target/classes
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ org.overture.ide.platform ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/src/test/resources
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.platform ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-plugin (default-package-plugin) @ org.overture.ide.platform ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/target/org.overture.ide.platform-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.platform ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.platform ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.platform ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.platform ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.platform ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/target/org.overture.ide.platform-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.platform/3.0.1-SNAPSHOT/org.overture.ide.platform-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.platform/3.0.1-SNAPSHOT/org.overture.ide.platform-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.platform/3.0.1-SNAPSHOT/org.overture.ide.platform-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/platform/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.platform/3.0.1-SNAPSHOT/org.overture.ide.platform-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.platform ---
[INFO] 
[INFO] -------------------< org.overturetool.ide:features >--------------------
[INFO] Building Overture IDE Eclipse features 3.0.1-SNAPSHOT            [71/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ features ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ features ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ features ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ features ---
[INFO] 0 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ features ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ features ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/3.0.1-SNAPSHOT/features-3.0.1-SNAPSHOT.pom
[INFO] 
[INFO] ----< org.overturetool.ide.features:org.overture.ide.features.core >----
[INFO] Building Overture IDE Eclipse core feature 3.0.1-SNAPSHOT        [72/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.features.core ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.features.core ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/core/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.features.core ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/core/target/org.overture.ide.features.core-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.features.core ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/core/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.features.core ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.features.core ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.features.core ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/core/target/org.overture.ide.features.core-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.core/3.0.1-SNAPSHOT/org.overture.ide.features.core-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/core/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.core/3.0.1-SNAPSHOT/org.overture.ide.features.core-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/core/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.core/3.0.1-SNAPSHOT/org.overture.ide.features.core-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/core/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.core/3.0.1-SNAPSHOT/org.overture.ide.features.core-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.features.core ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor >--
[INFO] Building Overture IDE Eclipse Coverage Editor feature 3.0.1-SNAPSHOT [73/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/coverageeditor/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/coverageeditor/target/org.overture.ide.plugins.features.coverageeditor-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/coverageeditor/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.coverageeditor ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/coverageeditor/target/org.overture.ide.plugins.features.coverageeditor-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/coverageeditor/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/coverageeditor/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/coverageeditor/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.coverageeditor/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.coverageeditor-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk >--
[INFO] Building Overture IDE Eclipse CSK VDM Tools Link feature 3.0.1-SNAPSHOT [74/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.csk ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.csk ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/csk/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.csk ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/csk/target/org.overture.ide.plugins.features.csk-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.csk ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/csk/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.csk ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.csk ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.csk ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/csk/target/org.overture.ide.plugins.features.csk-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.csk-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/csk/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.csk-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/csk/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.csk-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/csk/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.csk/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.csk-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.csk ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting >--
[INFO] Building Overture IDE Eclipse Combinatorial Testing feature 3.0.1-SNAPSHOT [75/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/combinatorialtesting/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/combinatorialtesting/target/org.overture.ide.plugins.features.combinatorialtesting-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/combinatorialtesting/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.combinatorialtesting ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/combinatorialtesting/target/org.overture.ide.plugins.features.combinatorialtesting-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/combinatorialtesting/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/combinatorialtesting/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/combinatorialtesting/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.combinatorialtesting/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.combinatorialtesting-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils >--
[INFO] Building Overture IDE Eclipse Developer Utilities feature 3.0.1-SNAPSHOT [76/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.developerutils ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.developerutils ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/developerutils/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/developerutils/target/org.overture.ide.plugins.features.developerutils-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/developerutils/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.developerutils ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/developerutils/target/org.overture.ide.plugins.features.developerutils-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.developerutils-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/developerutils/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.developerutils-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/developerutils/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.developerutils-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/developerutils/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.developerutils/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.developerutils-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.developerutils ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex >--
[INFO] Building Overture IDE Eclipse LaTeX Creator feature 3.0.1-SNAPSHOT [77/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.latex ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.latex ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/latex/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.latex ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/latex/target/org.overture.ide.plugins.features.latex-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.latex ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/latex/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.latex ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.latex ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.latex ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/latex/target/org.overture.ide.plugins.features.latex-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.latex-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/latex/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.latex-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/latex/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.latex-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/latex/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.latex/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.latex-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.latex ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer >--
[INFO] Building Overture IDE Eclipse Proof Obligation Viewer feature 3.0.1-SNAPSHOT [78/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.poviewer ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.poviewer ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/poviewer/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/poviewer/target/org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/poviewer/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.poviewer ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/poviewer/target/org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/poviewer/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/poviewer/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/poviewer/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.poviewer/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.poviewer-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.poviewer ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter >--
[INFO] Building Overture IDE Eclipse VDM Quick Interpreter feature 3.0.1-SNAPSHOT [79/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/quickinterpreter/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/quickinterpreter/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.quickinterpreter ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/quickinterpreter/target/org.overture.ide.plugins.features.quickinterpreter-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/quickinterpreter/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/quickinterpreter/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/quickinterpreter/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.quickinterpreter/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.quickinterpreter-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2 >--
[INFO] Building Overture IDE Eclipse plugin uml2 feature 3.0.1-SNAPSHOT [80/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.uml2 ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.uml2 ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/uml2/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/uml2/target/org.overture.ide.plugins.features.uml2-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/uml2/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.uml2 ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/uml2/target/org.overture.ide.plugins.features.uml2-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.uml2-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/uml2/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.uml2-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/uml2/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.uml2-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/uml2/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.uml2/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.uml2-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.uml2 ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer >--
[INFO] Building Overture IDE Eclipse Realtime Trace Viewer feature 3.0.1-SNAPSHOT [81/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/rttraceviewer/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/rttraceviewer/target/org.overture.ide.plugins.features.rttraceviewer-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/rttraceviewer/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.rttraceviewer ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/rttraceviewer/target/org.overture.ide.plugins.features.rttraceviewer-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/rttraceviewer/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/rttraceviewer/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/rttraceviewer/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.rttraceviewer/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.rttraceviewer-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen >--
[INFO] Building Overture IDE Eclipse Java Code Generator feature 3.0.1-SNAPSHOT [82/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.plugins.features.javagen ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.plugins.features.javagen ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/javagen/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.plugins.features.javagen ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/javagen/target/org.overture.ide.plugins.features.javagen-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.plugins.features.javagen ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/javagen/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.plugins.features.javagen ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 1 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.plugins.features.javagen ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.plugins.features.javagen ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/javagen/target/org.overture.ide.plugins.features.javagen-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.javagen-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/javagen/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.javagen-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/javagen/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.javagen-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/plugins/features/javagen/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/plugins/features/org.overture.ide.plugins.features.javagen/3.0.1-SNAPSHOT/org.overture.ide.plugins.features.javagen-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] ----< org.overturetool.ide.features:org.overture.ide.features.rcp >-----
[INFO] Building Overture IDE Eclipse rcp feature 3.0.1-SNAPSHOT         [83/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.features.rcp ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-id (default-validate-id) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:validate-version (default-validate-version) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.features.rcp ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-dependency-plugin:2.10:unpack (unpack) @ org.overture.ide.features.rcp ---
[INFO] Configured Artifact: org.overturetool:externals:3.0.1-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.core:commandlinetool:3.0.1-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.documentation:releasenotes:3.0.1-SNAPSHOT:jar
[INFO] Unpacking /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/externals/target/externals-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/rootfiles with includes "**/*.pdf,**/*.uml" and excludes "**/*.properties"
[INFO] Unpacking /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/core/commandline/target/commandlinetool-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/rootfiles/commandline with includes "overture,overture.bat" and excludes "**/*.properties"
[INFO] Unpacking /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/documentation/releasenotes/target/releasenotes-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/rootfiles with includes "**/*.md,**/*.txt" and excludes "**/*.properties"
[INFO] 
[INFO] --- maven-dependency-plugin:2.10:copy-dependencies (copy-dependencies) @ org.overture.ide.features.rcp ---
[INFO] Copying commandlinetool-3.0.1-SNAPSHOT-jar-with-dependencies.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/rootfiles/commandline/commandlinetool-3.0.1-SNAPSHOT-jar-with-dependencies.jar
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:package-feature (default-package-feature) @ org.overture.ide.features.rcp ---
[INFO] Building jar: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/org.overture.ide.features.rcp-3.0.1-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:feature-p2-metadata (default-feature-p2-metadata) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.features.rcp ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.features.rcp ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 2 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.features.rcp ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.features.rcp ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/org.overture.ide.features.rcp-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.1-SNAPSHOT/org.overture.ide.features.rcp-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.1-SNAPSHOT/org.overture.ide.features.rcp-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.1-SNAPSHOT/org.overture.ide.features.rcp-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.1-SNAPSHOT/org.overture.ide.features.rcp-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/features/rcp/target/org.overture.ide.features.rcp_root-3.0.1.202010131212-root.zip to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/features/org.overture.ide.features.rcp/3.0.1-SNAPSHOT/org.overture.ide.features.rcp-3.0.1-SNAPSHOT-root.zip
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] -----------< org.overturetool.ide:org.overture.ide.product >------------
[INFO] Building Overture IDE Standalone Product 3.0.1-SNAPSHOT          [84/84]
[INFO] -------------------------[ eclipse-repository ]-------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:1.7.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ org.overture.ide.product ---
[INFO] The project's OSGi version is 3.0.1.202010131212
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.product ---
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean-1) @ org.overture.ide.product ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.product ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (p2-inf) @ org.overture.ide.product ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ org.overture.ide.product ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product
[INFO] Copying 1 resource to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product
[INFO] 
[INFO] --- maven-antrun-plugin:1.8:run (default) @ org.overture.ide.product ---
[WARNING] Parameter tasks is deprecated, use target instead
[INFO] Executing tasks

main:
[INFO] Executed tasks
[INFO] 
[INFO] --- target-platform-configuration:1.7.0:target-platform (default-target-platform) @ org.overture.ide.product ---
[INFO] 
[INFO] --- tycho-p2-publisher-plugin:1.7.0:publish-osgi-ee (default-publish-osgi-ee) @ org.overture.ide.product ---
[INFO] Published profile IUs: [a.jre.javase 11.0.0, config.a.jre.javase 11.0.0]
[INFO] Published profile IUs: [a.jre.javase 14.0.0, config.a.jre.javase 14.0.0]
[INFO] 
[INFO] --- tycho-p2-publisher-plugin:1.7.0:publish-products (default-publish-products) @ org.overture.ide.product ---
[INFO] 
[INFO] --- tycho-p2-publisher-plugin:1.7.0:publish-categories (default-publish-categories) @ org.overture.ide.product ---
[INFO] 
[INFO] --- tycho-p2-publisher-plugin:1.7.0:attach-artifacts (default-attach-artifacts) @ org.overture.ide.product ---
[INFO] 
[INFO] --- tycho-p2-repository-plugin:1.7.0:assemble-repository (default-assemble-repository) @ org.overture.ide.product ---
[INFO] Copying resources from /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/classes to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/repository
[INFO] 
[INFO] --- tycho-p2-repository-plugin:1.7.0:archive-repository (default-archive-repository) @ org.overture.ide.product ---
[INFO] Building zip: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/org.overture.ide.product-3.0.1-SNAPSHOT.zip
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.product ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ org.overture.ide.product ---
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[WARNING] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810" 
[INFO] 4 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.product ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- tycho-p2-director-plugin:1.7.0:materialize-products (materialize-products) @ org.overture.ide.product ---
[INFO] Installing product org.overture.ide.platform.product for environment win32/win32/x86_64 to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/org.overture.ide.platform.product/win32/win32/x86_64/Overture
Installing org.overture.ide.platform.product 3.0.1.202010131212.
Operation completed in 49263 ms.
[INFO] Installing product org.overture.ide.platform.product for environment linux/gtk/x86_64 to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/org.overture.ide.platform.product/linux/gtk/x86_64/Overture
Installing org.overture.ide.platform.product 3.0.1.202010131212.
Operation completed in 12753 ms.
[INFO] Installing product org.overture.ide.platform.product for environment macosx/cocoa/x86_64 to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/org.overture.ide.platform.product/macosx/cocoa/x86_64/Overture.app
Installing org.overture.ide.platform.product 3.0.1.202010131212.
Operation completed in 7214 ms.
[INFO] 
[INFO] --- tycho-p2-director-plugin:1.7.0:archive-products (archive-products) @ org.overture.ide.product ---
[INFO] Building zip: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/Overture-3.0.1-SNAPSHOT-win32.win32.x86_64.zip
[INFO] Building zip: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/Overture-3.0.1-SNAPSHOT-linux.gtk.x86_64.zip
[INFO] Building zip: /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/Overture-3.0.1-SNAPSHOT-macosx.cocoa.x86_64.zip
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.product ---
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/org.overture.ide.product-3.0.1-SNAPSHOT.zip to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT.zip
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/pom.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.win32.win32.x86_64.zip to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/p2artifacts.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT-p2artifacts.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/extraArtifacts/org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/p2content.xml to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/Overture-3.0.1-SNAPSHOT-win32.win32.x86_64.zip to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT-win32.win32.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/Overture-3.0.1-SNAPSHOT-linux.gtk.x86_64.zip to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT-linux.gtk.x86_64.zip
[INFO] Installing /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/ide/product/target/products/Overture-3.0.1-SNAPSHOT-macosx.cocoa.x86_64.zip to /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1/.repository/org/overturetool/ide/org.overture.ide.product/3.0.1-SNAPSHOT/org.overture.ide.product-3.0.1-SNAPSHOT-macosx.cocoa.x86_64.zip
[INFO] 
[INFO] --- tycho-p2-plugin:1.7.0:update-local-index (default-update-local-index) @ org.overture.ide.product ---
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 3.0.1-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  4.579 s]
[INFO] Overture External Resources ........................ SUCCESS [ 15.977 s]
[INFO] Core Tools ......................................... SUCCESS [  1.056 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [ 10.058 s]
[INFO] Test Framework for Overture ........................ SUCCESS [ 10.328 s]
[INFO] The VDM parser ..................................... SUCCESS [ 18.933 s]
[INFO] The VDM Type Checker ............................... SUCCESS [02:01 min]
[INFO] Overture Testing ................................... SUCCESS [  0.048 s]
[INFO] Overture Testing Framework ......................... SUCCESS [ 15.294 s]
[INFO] Overture Sample Tests .............................. SUCCESS [ 50.574 s]
[INFO] VDM Pretty Printing ................................ SUCCESS [  0.050 s]
[INFO] The VDM Pretty Printer ............................. SUCCESS [  2.941 s]
[INFO] The Proof Obligation Generator ..................... SUCCESS [ 31.332 s]
[INFO] The VDM Interpreter ................................ SUCCESS [01:00 min]
[INFO] Combinatorial Testing .............................. SUCCESS [  0.020 s]
[INFO] Combinatorial Testing Utilities .................... SUCCESS [  1.385 s]
[INFO] Combinatorial Testing Runtime ...................... SUCCESS [ 25.153 s]
[INFO] New Pretty Printer ................................. SUCCESS [  3.939 s]
[INFO] Overture Core Command Line Tool .................... SUCCESS [  3.033 s]
[INFO] Code Generation .................................... SUCCESS [  0.020 s]
[INFO] The Intermediate Representation Tree ............... SUCCESS [  1.630 s]
[INFO] The Code Generation Platform ....................... SUCCESS [ 42.858 s]
[INFO] The Java Code Generator Runtime .................... SUCCESS [  6.574 s]
[INFO] The Java Code Generator Testing .................... SUCCESS [  2.723 s]
[INFO] The Java Code Generator ............................ SUCCESS [ 43.855 s]
[INFO] The VDM to JML Generator Runtime ................... SUCCESS [  1.581 s]
[INFO] The VDM to JML Generator ........................... SUCCESS [ 30.603 s]
[INFO] The Java Code Generator Maven Plugin ............... SUCCESS [ 11.364 s]
[INFO] The VDM to Isabelle Translator ..................... SUCCESS [  9.164 s]
[INFO] POG - Isagen Integration ........................... SUCCESS [  4.775 s]
[INFO] VDM Annotations .................................... SUCCESS [  0.013 s]
[INFO] Provided Annotations ............................... SUCCESS [  2.230 s]
[INFO] Annotation Examples ................................ SUCCESS [  1.466 s]
[INFO] Documentation ...................................... SUCCESS [  0.012 s]
[INFO] The Overture release notes ......................... SUCCESS [  0.852 s]
[INFO] Overture IDE Top-level ............................. SUCCESS [  0.649 s]
[INFO] org.overture.ide.core .............................. SUCCESS [  4.562 s]
[INFO] Overture IDE Builders .............................. SUCCESS [  0.015 s]
[INFO] org.overture.ide.builders.vdmj ..................... SUCCESS [  1.259 s]
[INFO] org.overture.ide.ui ................................ SUCCESS [  3.685 s]
[INFO] Overture IDE Parsers ............................... SUCCESS [  0.010 s]
[INFO] org.overture.ide.parsers.vdmj ...................... SUCCESS [  1.114 s]
[INFO] org.overture.ide.debug ............................. SUCCESS [  3.257 s]
[INFO] Overture IDE VDM-SL top level ...................... SUCCESS [  0.021 s]
[INFO] org.overture.ide.vdmsl.core ........................ SUCCESS [  0.650 s]
[INFO] org.overture.ide.vdmsl.ui .......................... SUCCESS [  0.840 s]
[INFO] org.overture.ide.vdmsl.debug ....................... SUCCESS [  1.047 s]
[INFO] Overture IDE VDM-PP Top-level ...................... SUCCESS [  0.011 s]
[INFO] org.overture.ide.vdmpp.core ........................ SUCCESS [  0.752 s]
[INFO] org.overture.ide.vdmpp.ui .......................... SUCCESS [  0.866 s]
[INFO] org.overture.ide.vdmpp.debug ....................... SUCCESS [  1.038 s]
[INFO] Overture IDE VDM-RT (RealTime) Top-level ........... SUCCESS [  0.011 s]
[INFO] org.overture.ide.vdmrt.core ........................ SUCCESS [  1.974 s]
[INFO] org.overture.ide.vdmrt.ui .......................... SUCCESS [  1.146 s]
[INFO] org.overture.ide.vdmrt.debug ....................... SUCCESS [  1.093 s]
[INFO] org.overture.ide.help .............................. SUCCESS [ 11.961 s]
[INFO] Overture IDE core plugins GUI ...................... SUCCESS [  0.029 s]
[INFO] org.overture.ide.plugins.externaleditor ............ SUCCESS [  1.439 s]
[INFO] org.overture.ide.plugins.coverageeditor ............ SUCCESS [  1.478 s]
[INFO] org.overture.ide.plugins.csk ....................... SUCCESS [  2.481 s]
[INFO] org.overture.ide.plugins.quickinterpreter .......... SUCCESS [  0.999 s]
[INFO] org.overture.ide.plugins.latex ..................... SUCCESS [  1.300 s]
[INFO] org.overture.ide.plugins.poviewer .................. SUCCESS [  1.174 s]
[INFO] Combinatorial Testing .............................. SUCCESS [  3.542 s]
[INFO] Developer Utilities for Overture ................... SUCCESS [  0.998 s]
[INFO] UML2 Translator .................................... SUCCESS [  2.950 s]
[INFO] RT Trace Viewer Plugin ............................. SUCCESS [  1.333 s]
[INFO] The Java Code Generator Plugin ..................... SUCCESS [  2.594 s]
[INFO] Overture IDE Eclipse plugin features ............... SUCCESS [  0.017 s]
[INFO] org.overture.ide.platform .......................... SUCCESS [  8.287 s]
[INFO] Overture IDE Eclipse features ...................... SUCCESS [  0.010 s]
[INFO] Overture IDE Eclipse core feature .................. SUCCESS [  1.576 s]
[INFO] Overture IDE Eclipse Coverage Editor feature ....... SUCCESS [  0.757 s]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature .... SUCCESS [  0.885 s]
[INFO] Overture IDE Eclipse Combinatorial Testing feature . SUCCESS [  0.642 s]
[INFO] Overture IDE Eclipse Developer Utilities feature ... SUCCESS [  0.863 s]
[INFO] Overture IDE Eclipse LaTeX Creator feature ......... SUCCESS [  1.370 s]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature SUCCESS [  0.715 s]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature . SUCCESS [  0.582 s]
[INFO] Overture IDE Eclipse plugin uml2 feature ........... SUCCESS [  0.638 s]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature . SUCCESS [  0.600 s]
[INFO] Overture IDE Eclipse Java Code Generator feature ... SUCCESS [  0.652 s]
[INFO] Overture IDE Eclipse rcp feature ................... SUCCESS [ 16.158 s]
[INFO] Overture IDE Standalone Product .................... SUCCESS [02:34 min]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  19:04 min
[INFO] Finished at: 2020-10-13T14:31:57+02:00
[INFO] ------------------------------------------------------------------------
[WARNING] The requested profile "force-download-externals" could not be activated because it does not exist.
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/re_codegen_ir_junit-junit-4.13.1@tmp/withMaven093b4810/maven-spy-20201013-141252-4085672607162437567177.log