SuccessConsole Output

+ mvn clean -PWith-IDE -Dtycho.mode=maven -fn
----- withMaven Wrapper script -----
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven7855050f/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven7855050f" 
Apache Maven 3.6.0
Maven home: /usr/share/maven
Java version: 1.8.0_121, vendor: Oracle Corporation, runtime: /usr/lib/jvm/java-8-oracle/jre
Default locale: en_GB, platform encoding: UTF-8
OS name: "linux", version: "4.15.0-60-generic", arch: "amd64", family: "unix"
[INFO] [jenkins-event-spy] Generate /var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven7855050f/maven-spy-20200103-151010-5866164269407051841768.log.tmp ...
[INFO] Scanning for projects...
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/oss/oss-parent/7/oss-parent-7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/oss/oss-parent/7/oss-parent-7.pom (4.6 kB at 747 B/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh/2.4/wagon-ssh-2.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh/2.4/wagon-ssh-2.4.pom (5.7 kB at 185 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-providers/2.4/wagon-providers-2.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-providers/2.4/wagon-providers-2.4.pom (2.8 kB at 132 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon/2.4/wagon-2.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon/2.4/wagon-2.4.pom (20 kB at 706 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/23/maven-parent-23.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/23/maven-parent-23.pom (33 kB at 1.0 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/13/apache-13.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/13/apache-13.pom (14 kB at 485 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.44-1/jsch-0.1.44-1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.44-1/jsch-0.1.44-1.pom (3.4 kB at 121 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/oss/oss-parent/6/oss-parent-6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/oss/oss-parent/6/oss-parent-6.pom (4.6 kB at 172 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.8/plexus-utils-3.0.8.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.8/plexus-utils-3.0.8.pom (3.1 kB at 90 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.2/plexus-3.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.2/plexus-3.2.pom (19 kB at 605 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/spice/spice-parent/17/spice-parent-17.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/spice/spice-parent/17/spice-parent-17.pom (6.8 kB at 307 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/10/forge-parent-10.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/10/forge-parent-10.pom (14 kB at 616 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh-common/2.4/wagon-ssh-common-2.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh-common/2.4/wagon-ssh-common-2.4.pom (1.8 kB at 73 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interactivity-api/1.0-alpha-6/plexus-interactivity-api-1.0-alpha-6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interactivity-api/1.0-alpha-6/plexus-interactivity-api-1.0-alpha-6.pom (726 B at 32 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interactivity/1.0-alpha-6/plexus-interactivity-1.0-alpha-6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interactivity/1.0-alpha-6/plexus-interactivity-1.0-alpha-6.pom (1.1 kB at 38 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.9/plexus-components-1.1.9.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.9/plexus-components-1.1.9.pom (2.4 kB at 61 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/1.0.10/plexus-1.0.10.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/1.0.10/plexus-1.0.10.pom (8.0 kB at 363 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-provider-api/2.4/wagon-provider-api-2.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-provider-api/2.4/wagon-provider-api-2.4.pom (1.7 kB at 91 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh/2.4/wagon-ssh-2.4.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.44-1/jsch-0.1.44-1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.8/plexus-utils-3.0.8.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh-common/2.4/wagon-ssh-common-2.4.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interactivity-api/1.0-alpha-6/plexus-interactivity-api-1.0-alpha-6.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh-common/2.4/wagon-ssh-common-2.4.jar (25 kB at 471 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-provider-api/2.4/wagon-provider-api-2.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.44-1/jsch-0.1.44-1.jar (214 kB at 3.8 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interactivity-api/1.0-alpha-6/plexus-interactivity-api-1.0-alpha-6.jar (12 kB at 211 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.8/plexus-utils-3.0.8.jar (232 kB at 3.9 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh/2.4/wagon-ssh-2.4.jar (29 kB at 460 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-provider-api/2.4/wagon-provider-api-2.4.jar (52 kB at 783 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-maven-plugin/0.25.0/tycho-maven-plugin-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-maven-plugin/0.25.0/tycho-maven-plugin-0.25.0.pom (2.1 kB at 86 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho/0.25.0/tycho-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho/0.25.0/tycho-0.25.0.pom (19 kB at 782 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-core/0.25.0/tycho-core-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-core/0.25.0/tycho-core-0.25.0.pom (4.6 kB at 199 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-core/3.0/maven-core-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-core/3.0/maven-core-3.0.pom (6.6 kB at 246 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/3.0/maven-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/3.0/maven-3.0.pom (22 kB at 995 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/15/maven-parent-15.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/15/maven-parent-15.pom (24 kB at 1.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/6/apache-6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/6/apache-6.pom (12 kB at 657 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/3.0/maven-model-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/3.0/maven-model-3.0.pom (3.9 kB at 195 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.7/plexus-utils-3.0.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.7/plexus-utils-3.0.7.pom (2.5 kB at 148 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.1/plexus-3.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.1/plexus-3.1.pom (19 kB at 886 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/3.0/maven-settings-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/3.0/maven-settings-3.0.pom (1.9 kB at 104 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings-builder/3.0/maven-settings-builder-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings-builder/3.0/maven-settings-builder-3.0.pom (2.2 kB at 123 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.14/plexus-interpolation-1.14.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.14/plexus-interpolation-1.14.pom (910 B at 38 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.18/plexus-components-1.1.18.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.18/plexus-components-1.1.18.pom (5.4 kB at 282 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/2.0.7/plexus-2.0.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/2.0.7/plexus-2.0.7.pom (17 kB at 865 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.pom (815 B at 45 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-containers/1.5.5/plexus-containers-1.5.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-containers/1.5.5/plexus-containers-1.5.5.pom (4.2 kB at 223 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-sec-dispatcher/1.3/plexus-sec-dispatcher-1.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-sec-dispatcher/1.3/plexus-sec-dispatcher-1.3.pom (3.0 kB at 129 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/spice/spice-parent/12/spice-parent-12.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/spice/spice-parent/12/spice-parent-12.pom (6.8 kB at 296 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/4/forge-parent-4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/4/forge-parent-4.pom (8.4 kB at 442 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-cipher/1.7/plexus-cipher-1.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-cipher/1.7/plexus-cipher-1.7.pom (4.2 kB at 209 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/spice/spice-parent/15/spice-parent-15.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/spice/spice-parent/15/spice-parent-15.pom (8.4 kB at 334 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/5/forge-parent-5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/5/forge-parent-5.pom (8.4 kB at 348 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/3.0/maven-repository-metadata-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/3.0/maven-repository-metadata-3.0.pom (1.9 kB at 74 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/3.0/maven-artifact-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/3.0/maven-artifact-3.0.pom (1.9 kB at 88 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/3.0/maven-plugin-api-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/3.0/maven-plugin-api-3.0.pom (2.3 kB at 127 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject-plexus/1.4.2/sisu-inject-plexus-1.4.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject-plexus/1.4.2/sisu-inject-plexus-1.4.2.pom (5.4 kB at 298 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/inject/guice-plexus/1.4.2/guice-plexus-1.4.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/inject/guice-plexus/1.4.2/guice-plexus-1.4.2.pom (3.1 kB at 165 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/inject/guice-bean/1.4.2/guice-bean-1.4.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/inject/guice-bean/1.4.2/guice-bean-1.4.2.pom (2.6 kB at 137 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject/1.4.2/sisu-inject-1.4.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject/1.4.2/sisu-inject-1.4.2.pom (1.2 kB at 66 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-parent/1.4.2/sisu-parent-1.4.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-parent/1.4.2/sisu-parent-1.4.2.pom (7.8 kB at 389 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/6/forge-parent-6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/6/forge-parent-6.pom (11 kB at 566 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.2.3/plexus-classworlds-2.2.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.2.3/plexus-classworlds-2.2.3.pom (4.0 kB at 174 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/2.0.6/plexus-2.0.6.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/2.0.6/plexus-2.0.6.pom (17 kB at 798 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject-bean/1.4.2/sisu-inject-bean-1.4.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject-bean/1.4.2/sisu-inject-bean-1.4.2.pom (5.5 kB at 273 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-guice/2.1.7/sisu-guice-2.1.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-guice/2.1.7/sisu-guice-2.1.7.pom (11 kB at 357 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model-builder/3.0/maven-model-builder-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model-builder/3.0/maven-model-builder-3.0.pom (2.2 kB at 118 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-aether-provider/3.0/maven-aether-provider-3.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-aether-provider/3.0/maven-aether-provider-3.0.pom (2.5 kB at 112 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-api/1.7/aether-api-1.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-api/1.7/aether-api-1.7.pom (1.7 kB at 84 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-parent/1.7/aether-parent-1.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-parent/1.7/aether-parent-1.7.pom (7.7 kB at 368 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-util/1.7/aether-util-1.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-util/1.7/aether-util-1.7.pom (2.1 kB at 103 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-impl/1.7/aether-impl-1.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-impl/1.7/aether-impl-1.7.pom (3.7 kB at 194 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-spi/1.7/aether-spi-1.7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-spi/1.7/aether-spi-1.7.pom (1.7 kB at 92 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9.1/plexus-archiver-2.9.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9.1/plexus-archiver-2.9.1.pom (4.4 kB at 175 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.3/plexus-components-1.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.3/plexus-components-1.3.pom (2.8 kB at 118 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.3/plexus-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.3/plexus-3.3.pom (20 kB at 865 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4.1/plexus-io-2.4.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4.1/plexus-io-2.4.1.pom (3.7 kB at 178 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.2/plexus-components-1.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.2/plexus-components-1.2.pom (2.8 kB at 142 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.2/commons-io-2.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.2/commons-io-2.2.pom (11 kB at 441 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/24/commons-parent-24.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/24/commons-parent-24.pom (47 kB at 1.5 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/9/apache-9.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/9/apache-9.pom (15 kB at 707 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.9/commons-compress-1.9.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.9/commons-compress-1.9.pom (11 kB at 602 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/34/commons-parent-34.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/34/commons-parent-34.pom (56 kB at 2.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.osgi.compatibility.state/1.0.100.v20150402-1551/org.eclipse.osgi.compatibility.state-1.0.100.v20150402-1551.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.osgi.compatibility.state/1.0.100.v20150402-1551/org.eclipse.osgi.compatibility.state-1.0.100.v20150402-1551.pom (1.1 kB at 49 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-embedder/0.25.0/sisu-equinox-embedder-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-embedder/0.25.0/sisu-equinox-embedder-0.25.0.pom (1.8 kB at 109 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox/0.25.0/sisu-equinox-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox/0.25.0/sisu-equinox-0.25.0.pom (1.0 kB at 58 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.osgi/3.10.101.v20150820-1432/org.eclipse.osgi-3.10.101.v20150820-1432.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.osgi/3.10.101.v20150820-1432/org.eclipse.osgi-3.10.101.v20150820-1432.pom (1.0 kB at 57 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-api/0.25.0/sisu-equinox-api-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-api/0.25.0/sisu-equinox-api-0.25.0.pom (1.7 kB at 91 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-metadata-model/0.25.0/tycho-metadata-model-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-metadata-model/0.25.0/tycho-metadata-model-0.25.0.pom (1.3 kB at 75 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/de/pdark/decentxml/1.3/decentxml-1.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/de/pdark/decentxml/1.3/decentxml-1.3.pom (6.3 kB at 273 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-embedder-api/0.25.0/tycho-embedder-api-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-embedder-api/0.25.0/tycho-embedder-api-0.25.0.pom (2.1 kB at 122 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.embedder.shared/0.25.0/org.eclipse.tycho.embedder.shared-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.embedder.shared/0.25.0/org.eclipse.tycho.embedder.shared-0.25.0.pom (1.1 kB at 56 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-bundles/0.25.0/tycho-bundles-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-bundles/0.25.0/tycho-bundles-0.25.0.pom (3.2 kB at 179 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.core.shared/0.25.0/org.eclipse.tycho.core.shared-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.core.shared/0.25.0/org.eclipse.tycho.core.shared-0.25.0.pom (1.0 kB at 58 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-facade/0.25.0/tycho-p2-facade-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-facade/0.25.0/tycho-p2-facade-0.25.0.pom (2.1 kB at 126 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2/0.25.0/tycho-p2-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2/0.25.0/tycho-p2-0.25.0.pom (1.1 kB at 52 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.resolver.shared/0.25.0/org.eclipse.tycho.p2.resolver.shared-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.resolver.shared/0.25.0/org.eclipse.tycho.p2.resolver.shared-0.25.0.pom (1.1 kB at 57 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.tools.shared/0.25.0/org.eclipse.tycho.p2.tools.shared-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.tools.shared/0.25.0/org.eclipse.tycho.p2.tools.shared-0.25.0.pom (1.1 kB at 52 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-maven-plugin/0.25.0/tycho-maven-plugin-0.25.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-core/0.25.0/tycho-core-0.25.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-core/3.0/maven-core-3.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/3.0/maven-model-3.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/3.0/maven-settings-3.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-maven-plugin/0.25.0/tycho-maven-plugin-0.25.0.jar (5.5 kB at 157 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings-builder/3.0/maven-settings-builder-3.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-core/0.25.0/tycho-core-0.25.0.jar (195 kB at 5.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/3.0/maven-repository-metadata-3.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings-builder/3.0/maven-settings-builder-3.0.jar (38 kB at 821 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/3.0/maven-artifact-3.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/3.0/maven-settings-3.0.jar (47 kB at 972 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model-builder/3.0/maven-model-builder-3.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/3.0/maven-model-3.0.jar (165 kB at 3.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-aether-provider/3.0/maven-aether-provider-3.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/3.0/maven-repository-metadata-3.0.jar (30 kB at 590 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-impl/1.7/aether-impl-1.7.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-aether-provider/3.0/maven-aether-provider-3.0.jar (51 kB at 788 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-spi/1.7/aether-spi-1.7.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-core/3.0/maven-core-3.0.jar (527 kB at 7.5 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-api/1.7/aether-api-1.7.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/3.0/maven-artifact-3.0.jar (52 kB at 763 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-util/1.7/aether-util-1.7.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-impl/1.7/aether-impl-1.7.jar (106 kB at 1.5 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject-plexus/1.4.2/sisu-inject-plexus-1.4.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model-builder/3.0/maven-model-builder-3.0.jar (148 kB at 1.9 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject-bean/1.4.2/sisu-inject-bean-1.4.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-spi/1.7/aether-spi-1.7.jar (14 kB at 169 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-guice/2.1.7/sisu-guice-2.1.7-noaop.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-api/1.7/aether-api-1.7.jar (74 kB at 873 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.14/plexus-interpolation-1.14.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/aether/aether-util/1.7/aether-util-1.7.jar (108 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.2.3/plexus-classworlds-2.2.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject-plexus/1.4.2/sisu-inject-plexus-1.4.2.jar (202 kB at 2.1 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-sec-dispatcher/1.3/plexus-sec-dispatcher-1.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-inject-bean/1.4.2/sisu-inject-bean-1.4.2.jar (153 kB at 1.5 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-cipher/1.7/plexus-cipher-1.7.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.14/plexus-interpolation-1.14.jar (61 kB at 605 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/3.0/maven-plugin-api-3.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.2.3/plexus-classworlds-2.2.3.jar (46 kB at 448 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.7/plexus-utils-3.0.7.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/sisu/sisu-guice/2.1.7/sisu-guice-2.1.7-noaop.jar (472 kB at 4.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9.1/plexus-archiver-2.9.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-sec-dispatcher/1.3/plexus-sec-dispatcher-1.3.jar (29 kB at 262 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4.1/plexus-io-2.4.1.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-cipher/1.7/plexus-cipher-1.7.jar (13 kB at 117 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.2/commons-io-2.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/3.0/maven-plugin-api-3.0.jar (49 kB at 411 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.9/commons-compress-1.9.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9.1/plexus-archiver-2.9.1.jar (145 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.osgi.compatibility.state/1.0.100.v20150402-1551/org.eclipse.osgi.compatibility.state-1.0.100.v20150402-1551.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.7/plexus-utils-3.0.7.jar (230 kB at 1.8 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-embedder/0.25.0/sisu-equinox-embedder-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4.1/plexus-io-2.4.1.jar (82 kB at 606 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.osgi/3.10.101.v20150820-1432/org.eclipse.osgi-3.10.101.v20150820-1432.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.2/commons-io-2.2.jar (174 kB at 1.2 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-api/0.25.0/sisu-equinox-api-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-embedder/0.25.0/sisu-equinox-embedder-0.25.0.jar (13 kB at 92 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-metadata-model/0.25.0/tycho-metadata-model-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.9/commons-compress-1.9.jar (378 kB at 2.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/de/pdark/decentxml/1.3/decentxml-1.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-metadata-model/0.25.0/tycho-metadata-model-0.25.0.jar (36 kB at 230 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-embedder-api/0.25.0/tycho-embedder-api-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-api/0.25.0/sisu-equinox-api-0.25.0.jar (3.1 kB at 20 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.embedder.shared/0.25.0/org.eclipse.tycho.embedder.shared-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.osgi.compatibility.state/1.0.100.v20150402-1551/org.eclipse.osgi.compatibility.state-1.0.100.v20150402-1551.jar (241 kB at 1.5 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.core.shared/0.25.0/org.eclipse.tycho.core.shared-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-embedder-api/0.25.0/tycho-embedder-api-0.25.0.jar (7.0 kB at 41 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-facade/0.25.0/tycho-p2-facade-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.embedder.shared/0.25.0/org.eclipse.tycho.embedder.shared-0.25.0.jar (9.4 kB at 53 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/de/pdark/decentxml/1.3/decentxml-1.3.jar (112 kB at 623 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.resolver.shared/0.25.0/org.eclipse.tycho.p2.resolver.shared-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.core.shared/0.25.0/org.eclipse.tycho.core.shared-0.25.0.jar (37 kB at 203 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.tools.shared/0.25.0/org.eclipse.tycho.p2.tools.shared-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-facade/0.25.0/tycho-p2-facade-0.25.0.jar (34 kB at 182 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.osgi/3.10.101.v20150820-1432/org.eclipse.osgi-3.10.101.v20150820-1432.jar (1.3 MB at 6.9 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.jar (4.2 kB at 22 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.resolver.shared/0.25.0/org.eclipse.tycho.p2.resolver.shared-0.25.0.jar (26 kB at 134 kB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.tools.shared/0.25.0/org.eclipse.tycho.p2.tools.shared-0.25.0.jar (21 kB at 104 kB/s)
[WARNING] The project org.overturetool:root:pom:2.7.3-SNAPSHOT uses prerequisites which is only intended for maven-plugin projects but not for non maven-plugin projects. For such purposes you should use the maven-enforcer-plugin. See https://maven.apache.org/enforcer/enforcer-rules/requireMavenVersion.html
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO] 
[INFO] The Overture Tool Platform root                                    [pom]
[INFO] Overture External Resources                                        [jar]
[INFO] Core Tools                                                         [pom]
[INFO] The Overture Abstract Syntax Tree                                  [jar]
[INFO] Test Framework for Overture                                        [jar]
[INFO] The VDM parser                                                     [jar]
[INFO] The VDM Type Checker                                               [jar]
[INFO] Overture Testing                                                   [pom]
[INFO] Overture Testing Framework                                         [jar]
[INFO] Overture Sample Tests                                              [jar]
[INFO] VDM Pretty Printing                                                [pom]
[INFO] The VDM Pretty Printer                                             [jar]
[INFO] The Proof Obligation Generator                                     [jar]
[INFO] The VDM Interpreter                                                [jar]
[INFO] Combinatorial Testing                                              [pom]
[INFO] Combinatorial Testing Utilities                                    [jar]
[INFO] Combinatorial Testing Runtime                                      [jar]
[INFO] New Pretty Printer                                                 [jar]
[INFO] Overture Core Command Line Tool                                    [jar]
[INFO] Code Generation                                                    [pom]
[INFO] The Intermediate Representation Tree                               [jar]
[INFO] The Code Generation Platform                                       [jar]
[INFO] The Java Code Generator Runtime                                    [jar]
[INFO] The Java Code Generator Testing                                    [jar]
[INFO] The Java Code Generator                                            [jar]
[INFO] The VDM to JML Generator Runtime                                   [jar]
[INFO] The VDM to JML Generator                                           [jar]
[INFO] The Java Code Generator Maven Plugin                      [maven-plugin]
[INFO] The VDM to Isabelle Translator                                     [jar]
[INFO] POG - Isagen Integration                                           [jar]
[INFO] VDM Annotations                                                    [pom]
[INFO] Provided Annotations                                               [jar]
[INFO] Annotation Examples                                                [jar]
[INFO] Documentation                                                      [pom]
[INFO] The Overture release notes                                         [jar]
[INFO] Overture IDE Top-level                                             [pom]
[INFO] org.overture.ide.core                                   [eclipse-plugin]
[INFO] org.overture.ide.ui                                     [eclipse-plugin]
[INFO] Overture IDE Parsers                                               [pom]
[INFO] org.overture.ide.parsers.vdmj                           [eclipse-plugin]
[INFO] Overture IDE Builders                                              [pom]
[INFO] org.overture.ide.builders.vdmj                          [eclipse-plugin]
[INFO] org.overture.ide.debug                                  [eclipse-plugin]
[INFO] Overture IDE VDM-SL top level                                      [pom]
[INFO] org.overture.ide.vdmsl.core                             [eclipse-plugin]
[INFO] org.overture.ide.vdmsl.ui                               [eclipse-plugin]
[INFO] org.overture.ide.vdmsl.debug                            [eclipse-plugin]
[INFO] Overture IDE VDM-PP Top-level                                      [pom]
[INFO] org.overture.ide.vdmpp.core                             [eclipse-plugin]
[INFO] org.overture.ide.vdmpp.ui                               [eclipse-plugin]
[INFO] org.overture.ide.vdmpp.debug                            [eclipse-plugin]
[INFO] Overture IDE VDM-RT (RealTime) Top-level                           [pom]
[INFO] org.overture.ide.vdmrt.core                             [eclipse-plugin]
[INFO] org.overture.ide.vdmrt.ui                               [eclipse-plugin]
[INFO] org.overture.ide.vdmrt.debug                            [eclipse-plugin]
[INFO] org.overture.ide.help                                   [eclipse-plugin]
[INFO] Overture IDE core plugins GUI                                      [pom]
[INFO] org.overture.ide.plugins.coverageeditor                 [eclipse-plugin]
[INFO] org.overture.ide.plugins.csk                            [eclipse-plugin]
[INFO] org.overture.ide.plugins.quickinterpreter               [eclipse-plugin]
[INFO] org.overture.ide.plugins.externaleditor                 [eclipse-plugin]
[INFO] org.overture.ide.plugins.latex                          [eclipse-plugin]
[INFO] org.overture.ide.plugins.poviewer                       [eclipse-plugin]
[INFO] Combinatorial Testing                                   [eclipse-plugin]
[INFO] Developer Utilities for Overture                        [eclipse-plugin]
[INFO] UML2 Translator                                         [eclipse-plugin]
[INFO] RT Trace Viewer Plugin                                  [eclipse-plugin]
[INFO] The Java Code Generator Plugin                          [eclipse-plugin]
[INFO] Overture IDE Eclipse plugin features                               [pom]
[INFO] Overture IDE Eclipse Coverage Editor feature           [eclipse-feature]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature        [eclipse-feature]
[INFO] Overture IDE Eclipse Combinatorial Testing feature     [eclipse-feature]
[INFO] Overture IDE Eclipse Developer Utilities feature       [eclipse-feature]
[INFO] Overture IDE Eclipse LaTeX Creator feature             [eclipse-feature]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature   [eclipse-feature]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature     [eclipse-feature]
[INFO] Overture IDE Eclipse plugin uml2 feature               [eclipse-feature]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature     [eclipse-feature]
[INFO] Overture IDE Eclipse Java Code Generator feature       [eclipse-feature]
[INFO] org.overture.ide.platform                               [eclipse-plugin]
[INFO] Overture IDE Eclipse features                                      [pom]
[INFO] Overture IDE Eclipse core feature                      [eclipse-feature]
[INFO] Overture IDE Eclipse rcp feature                       [eclipse-feature]
[INFO] Overture IDE Standalone Product                     [eclipse-repository]
[INFO] 
[INFO] -----------------------< org.overturetool:root >------------------------
[INFO] Building The Overture Tool Platform root 2.7.3-SNAPSHOT           [1/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-enforcer-plugin/1.0/maven-enforcer-plugin-1.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-enforcer-plugin/1.0/maven-enforcer-plugin-1.0.pom (6.7 kB at 280 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/enforcer/enforcer/1.0/enforcer-1.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/enforcer/enforcer/1.0/enforcer-1.0.pom (12 kB at 461 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/17/maven-parent-17.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/17/maven-parent-17.pom (25 kB at 958 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/7/apache-7.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/7/apache-7.pom (14 kB at 543 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-enforcer-plugin/1.0/maven-enforcer-plugin-1.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-enforcer-plugin/1.0/maven-enforcer-plugin-1.0.jar (22 kB at 1.4 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jacoco/jacoco-maven-plugin/0.7.6.201602180812/jacoco-maven-plugin-0.7.6.201602180812.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jacoco/jacoco-maven-plugin/0.7.6.201602180812/jacoco-maven-plugin-0.7.6.201602180812.pom (3.9 kB at 179 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jacoco/org.jacoco.build/0.7.6.201602180812/org.jacoco.build-0.7.6.201602180812.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jacoco/org.jacoco.build/0.7.6.201602180812/org.jacoco.build-0.7.6.201602180812.pom (36 kB at 1.3 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jacoco/jacoco-maven-plugin/0.7.6.201602180812/jacoco-maven-plugin-0.7.6.201602180812.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/jacoco/jacoco-maven-plugin/0.7.6.201602180812/jacoco-maven-plugin-0.7.6.201602180812.jar (52 kB at 2.9 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-clean-plugin/3.0.0/maven-clean-plugin-3.0.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-clean-plugin/3.0.0/maven-clean-plugin-3.0.0.pom (4.8 kB at 265 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/28/maven-plugins-28.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/28/maven-plugins-28.pom (12 kB at 483 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/27/maven-parent-27.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/27/maven-parent-27.pom (42 kB at 1.7 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/17/apache-17.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/17/apache-17.pom (16 kB at 770 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-clean-plugin/3.0.0/maven-clean-plugin-3.0.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-clean-plugin/3.0.0/maven-clean-plugin-3.0.0.jar (31 kB at 1.6 MB/s)
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ root ---
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/2.0.4/plexus-utils-2.0.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/2.0.4/plexus-utils-2.0.4.pom (3.3 kB at 185 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/2.0.5/plexus-utils-2.0.5.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/2.0.5/plexus-utils-2.0.5.pom (3.3 kB at 133 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/3.0.0/maven-shared-utils-3.0.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/3.0.0/maven-shared-utils-3.0.0.pom (5.6 kB at 266 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/21/maven-shared-components-21.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/21/maven-shared-components-21.pom (4.9 kB at 247 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/25/maven-parent-25.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/25/maven-parent-25.pom (38 kB at 1.7 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/15/apache-15.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/15/apache-15.pom (15 kB at 731 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.pom (10 kB at 50 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/25/commons-parent-25.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/25/commons-parent-25.pom (48 kB at 435 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.pom (965 B at 40 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/2.0.4/plexus-utils-2.0.4.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/3.0.0/maven-shared-utils-3.0.0.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.jar
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/2.0.4/plexus-utils-2.0.4.jar (222 kB at 6.9 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.jar (32 kB at 1.1 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/3.0.0/maven-shared-utils-3.0.0.jar (155 kB at 4.1 MB/s)
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.jar (185 kB at 4.9 MB/s)
[INFO] 
[INFO] ---------------------< org.overturetool:externals >---------------------
[INFO] Building Overture External Resources 2.7.3-SNAPSHOT               [2/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ externals ---
[INFO] 
[INFO] -----------------------< org.overturetool:core >------------------------
[INFO] Building Core Tools 2.7.3-SNAPSHOT                                [3/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-javadoc-plugin/2.10.3/maven-javadoc-plugin-2.10.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-javadoc-plugin/2.10.3/maven-javadoc-plugin-2.10.3.pom (16 kB at 603 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/27/maven-plugins-27.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/27/maven-plugins-27.pom (11 kB at 518 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/26/maven-parent-26.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/26/maven-parent-26.pom (41 kB at 1.6 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/16/apache-16.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/16/apache-16.pom (16 kB at 646 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-javadoc-plugin/2.10.3/maven-javadoc-plugin-2.10.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-javadoc-plugin/2.10.3/maven-javadoc-plugin-2.10.3.jar (405 kB at 18 MB/s)
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ core ---
[INFO] 
[INFO] ---------------------< org.overturetool.core:ast >----------------------
[INFO] Building The Overture Abstract Syntax Tree 2.7.3-SNAPSHOT         [4/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ast ---
[INFO] 
[INFO] ----------------< org.overturetool.core:testframework >-----------------
[INFO] Building Test Framework for Overture 2.7.3-SNAPSHOT               [5/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ testframework ---
[INFO] 
[INFO] --------------------< org.overturetool.core:parser >--------------------
[INFO] Building The VDM parser 2.7.3-SNAPSHOT                            [6/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ parser ---
[INFO] 
[INFO] -----------------< org.overturetool.core:typechecker >------------------
[INFO] Building The VDM Type Checker 2.7.3-SNAPSHOT                      [7/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ typechecker ---
[INFO] 
[INFO] -------------------< org.overturetool.core:testing >--------------------
[INFO] Building Overture Testing 2.7.3-SNAPSHOT                          [8/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ testing ---
[INFO] 
[INFO] --------------< org.overturetool.core.testing:framework >---------------
[INFO] Building Overture Testing Framework 2.7.3-SNAPSHOT                [9/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ framework ---
[INFO] 
[INFO] ---------------< org.overturetool.core.testing:samples >----------------
[INFO] Building Overture Sample Tests 2.7.3-SNAPSHOT                    [10/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ samples ---
[INFO] 
[INFO] ----------------< org.overturetool.core:prettyprinting >----------------
[INFO] Building VDM Pretty Printing 2.7.3-SNAPSHOT                      [11/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ prettyprinting ---
[INFO] 
[INFO] ---------< org.overturetool.core.prettyprinting:prettyprinter >---------
[INFO] Building The VDM Pretty Printer 2.7.3-SNAPSHOT                   [12/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ prettyprinter ---
[INFO] 
[INFO] ---------------------< org.overturetool.core:pog >----------------------
[INFO] Building The Proof Obligation Generator 2.7.3-SNAPSHOT           [13/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ pog ---
[INFO] 
[INFO] -----------------< org.overturetool.core:interpreter >------------------
[INFO] Building The VDM Interpreter 2.7.3-SNAPSHOT                      [14/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ interpreter ---
[INFO] 
[INFO] -------------< org.overturetool.core:combinatorialtesting >-------------
[INFO] Building Combinatorial Testing 2.7.3-SNAPSHOT                    [15/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ combinatorialtesting ---
[INFO] 
[INFO] ---------< org.overturetool.core.combinatorialtesting:ctutils >---------
[INFO] Building Combinatorial Testing Utilities 2.7.3-SNAPSHOT          [16/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ctutils ---
[INFO] 
[INFO] --------< org.overturetool.core.combinatorialtesting:ctruntime >--------
[INFO] Building Combinatorial Testing Runtime 2.7.3-SNAPSHOT            [17/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ctruntime ---
[INFO] 
[INFO] ---------------------< org.overturetool.core:npp >----------------------
[INFO] Building New Pretty Printer 2.7.3-SNAPSHOT                       [18/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ npp ---
[INFO] 
[INFO] ---------------< org.overturetool.core:commandlinetool >----------------
[INFO] Building Overture Core Command Line Tool 2.7.3-SNAPSHOT          [19/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ commandlinetool ---
[INFO] 
[INFO] -------------------< org.overturetool.core:codegen >--------------------
[INFO] Building Code Generation 2.7.3-SNAPSHOT                          [20/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen ---
[INFO] 
[INFO] ------------------< org.overturetool.core.codegen:ir >------------------
[INFO] Building The Intermediate Representation Tree 2.7.3-SNAPSHOT     [21/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ir ---
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:platform >---------------
[INFO] Building The Code Generation Platform 2.7.3-SNAPSHOT             [22/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ platform ---
[INFO] 
[INFO] -----------< org.overturetool.core.codegen:codegen-runtime >------------
[INFO] Building The Java Code Generator Runtime 2.7.3-SNAPSHOT          [23/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-source-plugin/3.0.0/maven-source-plugin-3.0.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-source-plugin/3.0.0/maven-source-plugin-3.0.0.pom (5.7 kB at 271 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-source-plugin/3.0.0/maven-source-plugin-3.0.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-source-plugin/3.0.0/maven-source-plugin-3.0.0.jar (31 kB at 984 kB/s)
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen-runtime ---
[INFO] 
[INFO] -------------< org.overturetool.core.codegen:javagen-test >-------------
[INFO] Building The Java Code Generator Testing 2.7.3-SNAPSHOT          [24/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ javagen-test ---
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:javagen >----------------
[INFO] Building The Java Code Generator 2.7.3-SNAPSHOT                  [25/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ javagen ---
[INFO] 
[INFO] -----------< org.overturetool.core.codegen:vdm2jml-runtime >------------
[INFO] Building The VDM to JML Generator Runtime 2.7.3-SNAPSHOT         [26/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ vdm2jml-runtime ---
[INFO] 
[INFO] ---------------< org.overturetool.core.codegen:vdm2jml >----------------
[INFO] Building The VDM to JML Generator 2.7.3-SNAPSHOT                 [27/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ vdm2jml ---
[INFO] 
[INFO] ------------< org.overturetool.core.codegen:codegen-plugin >------------
[INFO] Building The Java Code Generator Maven Plugin 2.7.3-SNAPSHOT     [28/84]
[INFO] ----------------------------[ maven-plugin ]----------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugin-plugin/3.3/maven-plugin-plugin-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugin-plugin/3.3/maven-plugin-plugin-3.3.pom (12 kB at 638 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools/3.3/maven-plugin-tools-3.3.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools/3.3/maven-plugin-tools-3.3.pom (13 kB at 666 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/24/maven-parent-24.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/24/maven-parent-24.pom (38 kB at 1.7 MB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/14/apache-14.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/14/apache-14.pom (15 kB at 739 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugin-plugin/3.3/maven-plugin-plugin-3.3.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugin-plugin/3.3/maven-plugin-plugin-3.3.jar (49 kB at 3.8 MB/s)
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen-plugin ---
[INFO] 
[INFO] ----------------< org.overturetool.core.codegen:isagen >----------------
[INFO] Building The VDM to Isabelle Translator 2.7.3-SNAPSHOT           [29/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ isagen ---
[INFO] 
[INFO] --------------------< org.overturetool.core:isapog >--------------------
[INFO] Building POG - Isagen Integration 2.7.3-SNAPSHOT                 [30/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ isapog ---
[INFO] 
[INFO] -----------------< org.overturetool.core:annotations >------------------
[INFO] Building VDM Annotations 2.7.3-SNAPSHOT                          [31/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ annotations ---
[INFO] 
[INFO] -------------< org.overturetool.core.annotations:provided >-------------
[INFO] Building Provided Annotations 2.7.3-SNAPSHOT                     [32/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ provided ---
[INFO] 
[INFO] -------------< org.overturetool.core.annotations:examples >-------------
[INFO] Building Annotation Examples 2.7.3-SNAPSHOT                      [33/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ examples ---
[INFO] 
[INFO] -------------------< org.overturetool:documentation >-------------------
[INFO] Building Documentation 2.7.3-SNAPSHOT                            [34/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ documentation ---
[INFO] 
[INFO] ------------< org.overturetool.documentation:releasenotes >-------------
[INFO] Building The Overture release notes 2.7.3-SNAPSHOT               [35/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ releasenotes ---
[INFO] 
[INFO] ------------------------< org.overturetool:ide >------------------------
[INFO] Building Overture IDE Top-level 2.7.3-SNAPSHOT                   [36/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ide ---
[INFO] 
[INFO] -------------< org.overturetool.ide:org.overture.ide.core >-------------
[INFO] Building org.overture.ide.core 2.7.3-SNAPSHOT                    [37/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.core ---
[INFO] 
[INFO] --------------< org.overturetool.ide:org.overture.ide.ui >--------------
[INFO] Building org.overture.ide.ui 2.7.3-SNAPSHOT                      [38/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.ui ---
[INFO] 
[INFO] -----------< org.overturetool.ide:org.overture.ide.parsers >------------
[INFO] Building Overture IDE Parsers 2.7.3-SNAPSHOT                     [39/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.parsers ---
[INFO] 
[INFO] -----< org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj >-----
[INFO] Building org.overture.ide.parsers.vdmj 2.7.3-SNAPSHOT            [40/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.parsers.vdmj ---
[INFO] 
[INFO] -----------< org.overturetool.ide:org.overture.ide.builders >-----------
[INFO] Building Overture IDE Builders 2.7.3-SNAPSHOT                    [41/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.builders ---
[INFO] 
[INFO] ----< org.overturetool.ide.builders:org.overture.ide.builders.vdmj >----
[INFO] Building org.overture.ide.builders.vdmj 2.7.3-SNAPSHOT           [42/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.builders.vdmj ---
[INFO] 
[INFO] ------------< org.overturetool.ide:org.overture.ide.debug >-------------
[INFO] Building org.overture.ide.debug 2.7.3-SNAPSHOT                   [43/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.debug ---
[INFO] 
[INFO] ------------< org.overturetool.ide:org.overture.ide.vdmsl >-------------
[INFO] Building Overture IDE VDM-SL top level 2.7.3-SNAPSHOT            [44/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmsl ---
[INFO] 
[INFO] -------< org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core >-------
[INFO] Building org.overture.ide.vdmsl.core 2.7.3-SNAPSHOT              [45/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmsl.core ---
[INFO] 
[INFO] --------< org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui >--------
[INFO] Building org.overture.ide.vdmsl.ui 2.7.3-SNAPSHOT                [46/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmsl.ui ---
[INFO] 
[INFO] ------< org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug >-------
[INFO] Building org.overture.ide.vdmsl.debug 2.7.3-SNAPSHOT             [47/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmsl.debug ---
[INFO] 
[INFO] ------------< org.overturetool.ide:org.overture.ide.vdmpp >-------------
[INFO] Building Overture IDE VDM-PP Top-level 2.7.3-SNAPSHOT            [48/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmpp ---
[INFO] 
[INFO] -------< org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core >-------
[INFO] Building org.overture.ide.vdmpp.core 2.7.3-SNAPSHOT              [49/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmpp.core ---
[INFO] 
[INFO] --------< org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui >--------
[INFO] Building org.overture.ide.vdmpp.ui 2.7.3-SNAPSHOT                [50/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmpp.ui ---
[INFO] 
[INFO] ------< org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug >-------
[INFO] Building org.overture.ide.vdmpp.debug 2.7.3-SNAPSHOT             [51/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmpp.debug ---
[INFO] 
[INFO] ------------< org.overturetool.ide:org.overture.ide.vdmrt >-------------
[INFO] Building Overture IDE VDM-RT (RealTime) Top-level 2.7.3-SNAPSHOT [52/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmrt ---
[INFO] 
[INFO] -------< org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core >-------
[INFO] Building org.overture.ide.vdmrt.core 2.7.3-SNAPSHOT              [53/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmrt.core ---
[INFO] 
[INFO] --------< org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui >--------
[INFO] Building org.overture.ide.vdmrt.ui 2.7.3-SNAPSHOT                [54/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmrt.ui ---
[INFO] 
[INFO] ------< org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug >-------
[INFO] Building org.overture.ide.vdmrt.debug 2.7.3-SNAPSHOT             [55/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmrt.debug ---
[INFO] 
[INFO] -------------< org.overturetool.ide:org.overture.ide.help >-------------
[INFO] Building org.overture.ide.help 2.7.3-SNAPSHOT                    [56/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/overturetool/build/example-packager-plugin/3.0.2/example-packager-plugin-3.0.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/overturetool/build/example-packager-plugin/3.0.2/example-packager-plugin-3.0.2.pom (2.0 kB at 63 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/overturetool/build/root/3.0.2/root-3.0.2.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/overturetool/build/root/3.0.2/root-3.0.2.pom (7.9 kB at 394 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/overturetool/build/example-packager-plugin/3.0.2/example-packager-plugin-3.0.2.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/overturetool/build/example-packager-plugin/3.0.2/example-packager-plugin-3.0.2.jar (7.1 kB at 593 kB/s)
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.help ---
[INFO] 
[INFO] -----------< org.overturetool.ide:org.overture.ide.plugins >------------
[INFO] Building Overture IDE core plugins GUI 2.7.3-SNAPSHOT            [57/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor >--
[INFO] Building org.overture.ide.plugins.coverageeditor 2.7.3-SNAPSHOT  [58/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.coverageeditor ---
[INFO] 
[INFO] -----< org.overturetool.ide.plugins:org.overture.ide.plugins.csk >------
[INFO] Building org.overture.ide.plugins.csk 2.7.3-SNAPSHOT             [59/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.csk ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter >--
[INFO] Building org.overture.ide.plugins.quickinterpreter 2.7.3-SNAPSHOT [60/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.quickinterpreter ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor >--
[INFO] Building org.overture.ide.plugins.externaleditor 2.7.3-SNAPSHOT  [61/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.externaleditor ---
[INFO] 
[INFO] ----< org.overturetool.ide.plugins:org.overture.ide.plugins.latex >-----
[INFO] Building org.overture.ide.plugins.latex 2.7.3-SNAPSHOT           [62/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.latex ---
[INFO] 
[INFO] ---< org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer >---
[INFO] Building org.overture.ide.plugins.poviewer 2.7.3-SNAPSHOT        [63/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.poviewer ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting >--
[INFO] Building Combinatorial Testing 2.7.3-SNAPSHOT                    [64/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.combinatorialtesting ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils >--
[INFO] Building Developer Utilities for Overture 2.7.3-SNAPSHOT         [65/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.developerutils ---
[INFO] 
[INFO] -----< org.overturetool.ide.plugins:org.overture.ide.plugins.uml2 >-----
[INFO] Building UML2 Translator 2.7.3-SNAPSHOT                          [66/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.uml2 ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer >--
[INFO] Building RT Trace Viewer Plugin 2.7.3-SNAPSHOT                   [67/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.rttraceviewer ---
[INFO] 
[INFO] ---< org.overturetool.ide.plugins:org.overture.ide.plugins.javagen >----
[INFO] Building The Java Code Generator Plugin 2.7.3-SNAPSHOT           [68/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.javagen ---
[INFO] 
[INFO] ---< org.overturetool.ide.plugins:org.overture.ide.plugins.features >---
[INFO] Building Overture IDE Eclipse plugin features 2.7.3-SNAPSHOT     [69/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features ---
[INFO] 
[INFO] --< org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor >--
[INFO] Building Overture IDE Eclipse Coverage Editor feature 2.7.3-SNAPSHOT [70/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [71/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [72/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [73/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [74/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [75/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [76/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [77/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [78/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ 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 2.7.3-SNAPSHOT [79/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.javagen ---
[INFO] 
[INFO] -----------< org.overturetool.ide:org.overture.ide.platform >-----------
[INFO] Building org.overture.ide.platform 2.7.3-SNAPSHOT                [80/84]
[INFO] ---------------------------[ eclipse-plugin ]---------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/pl/project13/maven/git-commit-id-plugin/2.2.0/git-commit-id-plugin-2.2.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/pl/project13/maven/git-commit-id-plugin/2.2.0/git-commit-id-plugin-2.2.0.pom (12 kB at 548 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/pl/project13/maven/git-commit-id-plugin/2.2.0/git-commit-id-plugin-2.2.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/pl/project13/maven/git-commit-id-plugin/2.2.0/git-commit-id-plugin-2.2.0.jar (119 kB at 7.4 MB/s)
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.platform ---
[INFO] 
[INFO] -------------------< org.overturetool.ide:features >--------------------
[INFO] Building Overture IDE Eclipse features 2.7.3-SNAPSHOT            [81/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ features ---
[INFO] 
[INFO] ----< org.overturetool.ide.features:org.overture.ide.features.core >----
[INFO] Building Overture IDE Eclipse core feature 2.7.3-SNAPSHOT        [82/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.features.core ---
[INFO] 
[INFO] ----< org.overturetool.ide.features:org.overture.ide.features.rcp >-----
[INFO] Building Overture IDE Eclipse rcp feature 2.7.3-SNAPSHOT         [83/84]
[INFO] --------------------------[ eclipse-feature ]---------------------------
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.features.rcp ---
[INFO] 
[INFO] -----------< org.overturetool.ide:org.overture.ide.product >------------
[INFO] Building Overture IDE Standalone Product 2.7.3-SNAPSHOT          [84/84]
[INFO] -------------------------[ eclipse-repository ]-------------------------
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-director-plugin/0.25.0/tycho-p2-director-plugin-0.25.0.pom
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-director-plugin/0.25.0/tycho-p2-director-plugin-0.25.0.pom (2.6 kB at 125 kB/s)
[INFO] Downloading from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-director-plugin/0.25.0/tycho-p2-director-plugin-0.25.0.jar
[INFO] Downloaded from remote-repos: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-director-plugin/0.25.0/tycho-p2-director-plugin-0.25.0.jar (44 kB at 2.9 MB/s)
[INFO] 
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.product ---
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 2.7.3-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  1.044 s]
[INFO] Overture External Resources ........................ SUCCESS [  0.004 s]
[INFO] Core Tools ......................................... SUCCESS [  0.196 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  0.003 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  0.002 s]
[INFO] The VDM parser ..................................... SUCCESS [  0.003 s]
[INFO] The VDM Type Checker ............................... SUCCESS [  0.002 s]
[INFO] Overture Testing ................................... SUCCESS [  0.002 s]
[INFO] Overture Testing Framework ......................... SUCCESS [  0.002 s]
[INFO] Overture Sample Tests .............................. SUCCESS [  0.003 s]
[INFO] VDM Pretty Printing ................................ SUCCESS [  0.002 s]
[INFO] The VDM Pretty Printer ............................. SUCCESS [  0.003 s]
[INFO] The Proof Obligation Generator ..................... SUCCESS [  0.002 s]
[INFO] The VDM Interpreter ................................ SUCCESS [  0.004 s]
[INFO] Combinatorial Testing .............................. SUCCESS [  0.003 s]
[INFO] Combinatorial Testing Utilities .................... SUCCESS [  0.003 s]
[INFO] Combinatorial Testing Runtime ...................... SUCCESS [  0.003 s]
[INFO] New Pretty Printer ................................. SUCCESS [  0.003 s]
[INFO] Overture Core Command Line Tool .................... SUCCESS [  0.003 s]
[INFO] Code Generation .................................... SUCCESS [  0.002 s]
[INFO] The Intermediate Representation Tree ............... SUCCESS [  0.002 s]
[INFO] The Code Generation Platform ....................... SUCCESS [  0.002 s]
[INFO] The Java Code Generator Runtime .................... SUCCESS [  0.070 s]
[INFO] The Java Code Generator Testing .................... SUCCESS [  0.002 s]
[INFO] The Java Code Generator ............................ SUCCESS [  0.003 s]
[INFO] The VDM to JML Generator Runtime ................... SUCCESS [  0.002 s]
[INFO] The VDM to JML Generator ........................... SUCCESS [  0.002 s]
[INFO] The Java Code Generator Maven Plugin ............... SUCCESS [  0.118 s]
[INFO] The VDM to Isabelle Translator ..................... SUCCESS [  0.003 s]
[INFO] POG - Isagen Integration ........................... SUCCESS [  0.002 s]
[INFO] VDM Annotations .................................... SUCCESS [  0.002 s]
[INFO] Provided Annotations ............................... SUCCESS [  0.002 s]
[INFO] Annotation Examples ................................ SUCCESS [  0.001 s]
[INFO] Documentation ...................................... SUCCESS [  0.002 s]
[INFO] The Overture release notes ......................... SUCCESS [  0.002 s]
[INFO] Overture IDE Top-level ............................. SUCCESS [  0.030 s]
[INFO] org.overture.ide.core .............................. SUCCESS [  0.004 s]
[INFO] org.overture.ide.ui ................................ SUCCESS [  0.002 s]
[INFO] Overture IDE Parsers ............................... SUCCESS [  0.002 s]
[INFO] org.overture.ide.parsers.vdmj ...................... SUCCESS [  0.002 s]
[INFO] Overture IDE Builders .............................. SUCCESS [  0.002 s]
[INFO] org.overture.ide.builders.vdmj ..................... SUCCESS [  0.002 s]
[INFO] org.overture.ide.debug ............................. SUCCESS [  0.002 s]
[INFO] Overture IDE VDM-SL top level ...................... SUCCESS [  0.002 s]
[INFO] org.overture.ide.vdmsl.core ........................ SUCCESS [  0.001 s]
[INFO] org.overture.ide.vdmsl.ui .......................... SUCCESS [  0.001 s]
[INFO] org.overture.ide.vdmsl.debug ....................... SUCCESS [  0.001 s]
[INFO] Overture IDE VDM-PP Top-level ...................... SUCCESS [  0.002 s]
[INFO] org.overture.ide.vdmpp.core ........................ SUCCESS [  0.002 s]
[INFO] org.overture.ide.vdmpp.ui .......................... SUCCESS [  0.002 s]
[INFO] org.overture.ide.vdmpp.debug ....................... SUCCESS [  0.002 s]
[INFO] Overture IDE VDM-RT (RealTime) Top-level ........... SUCCESS [  0.002 s]
[INFO] org.overture.ide.vdmrt.core ........................ SUCCESS [  0.002 s]
[INFO] org.overture.ide.vdmrt.ui .......................... SUCCESS [  0.001 s]
[INFO] org.overture.ide.vdmrt.debug ....................... SUCCESS [  0.002 s]
[INFO] org.overture.ide.help .............................. SUCCESS [  0.080 s]
[INFO] Overture IDE core plugins GUI ...................... SUCCESS [  0.003 s]
[INFO] org.overture.ide.plugins.coverageeditor ............ SUCCESS [  0.002 s]
[INFO] org.overture.ide.plugins.csk ....................... SUCCESS [  0.003 s]
[INFO] org.overture.ide.plugins.quickinterpreter .......... SUCCESS [  0.001 s]
[INFO] org.overture.ide.plugins.externaleditor ............ SUCCESS [  0.001 s]
[INFO] org.overture.ide.plugins.latex ..................... SUCCESS [  0.002 s]
[INFO] org.overture.ide.plugins.poviewer .................. SUCCESS [  0.002 s]
[INFO] Combinatorial Testing .............................. SUCCESS [  0.002 s]
[INFO] Developer Utilities for Overture ................... SUCCESS [  0.002 s]
[INFO] UML2 Translator .................................... SUCCESS [  0.002 s]
[INFO] RT Trace Viewer Plugin ............................. SUCCESS [  0.002 s]
[INFO] The Java Code Generator Plugin ..................... SUCCESS [  0.001 s]
[INFO] Overture IDE Eclipse plugin features ............... SUCCESS [  0.001 s]
[INFO] Overture IDE Eclipse Coverage Editor feature ....... SUCCESS [  0.002 s]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature .... SUCCESS [  0.002 s]
[INFO] Overture IDE Eclipse Combinatorial Testing feature . SUCCESS [  0.001 s]
[INFO] Overture IDE Eclipse Developer Utilities feature ... SUCCESS [  0.002 s]
[INFO] Overture IDE Eclipse LaTeX Creator feature ......... SUCCESS [  0.002 s]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature SUCCESS [  0.001 s]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature . SUCCESS [  0.001 s]
[INFO] Overture IDE Eclipse plugin uml2 feature ........... SUCCESS [  0.002 s]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature . SUCCESS [  0.002 s]
[INFO] Overture IDE Eclipse Java Code Generator feature ... SUCCESS [  0.002 s]
[INFO] org.overture.ide.platform .......................... SUCCESS [  0.048 s]
[INFO] Overture IDE Eclipse features ...................... SUCCESS [  0.002 s]
[INFO] Overture IDE Eclipse core feature .................. SUCCESS [  0.001 s]
[INFO] Overture IDE Eclipse rcp feature ................... SUCCESS [  0.001 s]
[INFO] Overture IDE Standalone Product .................... SUCCESS [  0.046 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  14.576 s
[INFO] Finished at: 2020-01-03T15:10:25+01:00
[INFO] ------------------------------------------------------------------------
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/overturetool_ncb_development@tmp/withMaven7855050f/maven-spy-20200103-151010-5866164269407051841768.log