Console Output
Skipping 234 KB..
Full Log2.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/2.5/maven-archiver-2.5.jar (22 KB at 1253.0 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.15/plexus-interpolation-1.15.jar (60 KB at 2952.8 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.2/plexus-io-2.0.2.jar (57 KB at 3347.0 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1/plexus-archiver-2.1.jar (181 KB at 7204.6 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-lang/commons-lang/2.1/commons-lang-2.1.jar (203 KB at 11932.6 KB/sec)
[INFO] Building jar: /var/lib/jenkins/workspace/vdm2c-release/c/vdmclib/target/vdmclib-0.0.6.jar
[INFO]
[INFO] --- maven-source-plugin:2.1.2:jar-no-fork (attach-sources) @ vdmclib ---
[INFO] Building jar: /var/lib/jenkins/workspace/vdm2c-release/c/vdmclib/target/vdmclib-0.0.6-sources.jar
[INFO]
[INFO] --- maven-javadoc-plugin:2.7:jar (attach-javadocs) @ vdmclib ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdmclib ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-release/c/vdmclib/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-gpg-plugin:1.1:sign (sign-artifacts) @ vdmclib ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Core Tools for vdm2c 0.0.6
[INFO] ------------------------------------------------------------------------
Downloading: http://overture.au.dk/artifactory/remote-repos/junit/junit/4.11/junit-4.11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/junit/junit/4.11/junit-4.11.pom (3 KB at 152.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/junit/junit/4.11/junit-4.11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/junit/junit/4.11/junit-4.11.jar (240 KB at 18407.4 KB/sec)
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ core ---
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ core ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ core ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/vdm2c-release/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/vdm2c-release/core/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[INFO]
[INFO] --- maven-source-plugin:2.1.2:jar-no-fork (attach-sources) @ core ---
[INFO]
[INFO] --- maven-javadoc-plugin:2.9:jar (attach-javadocs) @ core ---
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.3/maven-common-artifact-filters-1.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.3/maven-common-artifact-filters-1.3.pom (4 KB at 241.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/12/maven-shared-components-12.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/12/maven-shared-components-12.pom (10 KB at 607.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/13/maven-parent-13.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/13/maven-parent-13.pom (23 KB at 1578.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12/qdox-1.12.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12/qdox-1.12.pom (19 KB at 1294.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1.2/plexus-archiver-2.1.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1.2/plexus-archiver-2.1.2.pom (4 KB at 307.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.2/plexus-utils-3.0.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.2/plexus-utils-3.0.2.pom (3 KB at 163.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.1/plexus-3.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.1/plexus-3.1.pom (19 KB at 1514.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.4/plexus-io-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.4/plexus-io-2.0.4.pom (2 KB at 153.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.5/plexus-utils-3.0.5.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.5/plexus-utils-3.0.5.pom (3 KB at 163.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.3/maven-common-artifact-filters-1.3.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12/qdox-1.12.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1.2/plexus-archiver-2.1.2.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.4/plexus-io-2.0.4.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.5/plexus-utils-3.0.5.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.3/maven-common-artifact-filters-1.3.jar (31 KB at 1895.7 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12/qdox-1.12.jar (176 KB at 9750.5 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.4/plexus-io-2.0.4.jar (57 KB at 2845.7 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.5/plexus-utils-3.0.5.jar (226 KB at 15003.1 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1.2/plexus-archiver-2.1.2.jar (181 KB at 7220.9 KB/sec)
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ core ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-release/core/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-gpg-plugin:1.1:sign (sign-artifacts) @ core ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The C Code Generator 0.0.6
[INFO] ------------------------------------------------------------------------
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-javadoc-plugin/2.10.3/maven-javadoc-plugin-2.10.3.pom
Downloaded: 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 1136.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/27/maven-plugins-27.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/27/maven-plugins-27.pom (12 KB at 926.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-javadoc-plugin/2.10.3/maven-javadoc-plugin-2.10.3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-javadoc-plugin/2.10.3/maven-javadoc-plugin-2.10.3.jar (396 KB at 17989.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/astcreator-plugin/1.6.8/astcreator-plugin-1.6.8.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/astcreator-plugin/1.6.8/astcreator-plugin-1.6.8.pom (2 KB at 88.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/root/1.6.8/root-1.6.8.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/root/1.6.8/root-1.6.8.pom (6 KB at 528.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/astcreator-plugin/1.6.8/astcreator-plugin-1.6.8.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/astcreator-plugin/1.6.8/astcreator-plugin-1.6.8.jar (17 KB at 1268.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/typechecker/2.4.0/typechecker-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/typechecker/2.4.0/typechecker-2.4.0.pom (3 KB at 149.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/2.4.0/core-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/2.4.0/core-2.4.0.pom (2 KB at 89.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/root/2.4.0/root-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/root/2.4.0/root-2.4.0.pom (13 KB at 1057.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/ast/2.4.0/ast-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/ast/2.4.0/ast-2.4.0.pom (5 KB at 319.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/parser/2.4.0/parser-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/parser/2.4.0/parser-2.4.0.pom (4 KB at 242.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/testframework/2.4.0/testframework-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/testframework/2.4.0/testframework-2.4.0.pom (2 KB at 94.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/platform/2.4.0/platform-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/platform/2.4.0/platform-2.4.0.pom (3 KB at 205.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/2.4.0/codegen-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/2.4.0/codegen-2.4.0.pom (964 B at 72.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/interpreter/2.4.0/interpreter-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/interpreter/2.4.0/interpreter-2.4.0.pom (3 KB at 154.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/pog/2.4.0/pog-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/pog/2.4.0/pog-2.4.0.pom (6 KB at 394.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/com/google/code/gson/gson/2.2.4/gson-2.2.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/com/google/code/gson/gson/2.2.4/gson-2.2.4.pom (8 KB at 654.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/prettyprinting/prettyprinter/2.4.0/prettyprinter-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/prettyprinting/prettyprinter/2.4.0/prettyprinter-2.4.0.pom (2 KB at 85.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/prettyprinting/2.4.0/prettyprinting-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/prettyprinting/2.4.0/prettyprinting-2.4.0.pom (661 B at 49.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.pom (10 KB at 661.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/25/commons-parent-25.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/25/commons-parent-25.pom (48 KB at 3144.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.pom (20 KB at 1514.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/32/commons-parent-32.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/32/commons-parent-32.pom (52 KB at 3681.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/ir/2.4.0/ir-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/ir/2.4.0/ir-2.4.0.pom (4 KB at 296.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity/1.7/velocity-1.7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity/1.7/velocity-1.7.pom (11 KB at 461.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.pom (13 KB at 1017.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/ctruntime/2.4.0/ctruntime-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/ctruntime/2.4.0/ctruntime-2.4.0.pom (3 KB at 165.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/2.4.0/combinatorialtesting-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/2.4.0/combinatorialtesting-2.4.0.pom (2 KB at 92.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/ctutils/2.4.0/ctutils-2.4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/ctutils/2.4.0/ctutils-2.4.0.pom (2 KB at 87.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.17/log4j-1.2.17.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.17/log4j-1.2.17.pom (22 KB at 1795.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-cli/commons-cli/1.3/commons-cli-1.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-cli/commons-cli/1.3/commons-cli-1.3.pom (11 KB at 676.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/37/commons-parent-37.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/37/commons-parent-37.pom (62 KB at 3847.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.16/slf4j-api-1.7.16.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.16/slf4j-api-1.7.16.pom (3 KB at 208.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-parent/1.7.16/slf4j-parent-1.7.16.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-parent/1.7.16/slf4j-parent-1.7.16.pom (14 KB at 938.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-log4j12/1.7.16/slf4j-log4j12-1.7.16.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-log4j12/1.7.16/slf4j-log4j12-1.7.16.pom (909 B at 74.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/typechecker/2.4.0/typechecker-2.4.0.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/parser/2.4.0/parser-2.4.0.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/platform/2.4.0/platform-2.4.0.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/interpreter/2.4.0/interpreter-2.4.0.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/ast/2.4.0/ast-2.4.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/parser/2.4.0/parser-2.4.0.jar (117 KB at 5303.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/pog/2.4.0/pog-2.4.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/platform/2.4.0/platform-2.4.0.jar (406 KB at 13093.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/typechecker/2.4.0/typechecker-2.4.0.jar (387 KB at 9919.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/prettyprinting/prettyprinter/2.4.0/prettyprinter-2.4.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/pog/2.4.0/pog-2.4.0.jar (260 KB at 11296.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/prettyprinting/prettyprinter/2.4.0/prettyprinter-2.4.0.jar (12 KB at 919.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar (186 KB at 9787.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity/1.7/velocity-1.7.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/interpreter/2.4.0/interpreter-2.4.0.jar (716 KB at 14608.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.jar (181 KB at 10044.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/ctruntime/2.4.0/ctruntime-2.4.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar (596 KB at 24831.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/ctutils/2.4.0/ctutils-2.4.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/ctruntime/2.4.0/ctruntime-2.4.0.jar (46 KB at 3482.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.17/log4j-1.2.17.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity/1.7/velocity-1.7.jar (439 KB at 14632.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/ir/2.4.0/ir-2.4.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/ast/2.4.0/ast-2.4.0.jar (1323 KB at 16133.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/testframework/2.4.0/testframework-2.4.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/combinatorialtesting/ctutils/2.4.0/ctutils-2.4.0.jar (10 KB at 767.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-cli/commons-cli/1.3/commons-cli-1.3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-cli/commons-cli/1.3/commons-cli-1.3.jar (52 KB at 4308.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.16/slf4j-api-1.7.16.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.17/log4j-1.2.17.jar (479 KB at 21745.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-log4j12/1.7.16/slf4j-log4j12-1.7.16.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/testframework/2.4.0/testframework-2.4.0.jar (37 KB at 1911.3 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-api/1.7.16/slf4j-api-1.7.16.jar (40 KB at 3296.6 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/slf4j/slf4j-log4j12/1.7.16/slf4j-log4j12-1.7.16.jar (10 KB at 808.8 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/codegen/ir/2.4.0/ir-2.4.0.jar (1111 KB at 27769.3 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.jar (562 KB at 2120.4 KB/sec)
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ vdm2c ---
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdm2c ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdm2c ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/vdm2c-release/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[INFO]
[INFO] --- astcreator-plugin:1.6.8:generate (generate-ast) @ vdm2c ---
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/astcreator/1.6.8/astcreator-1.6.8.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/astcreator/1.6.8/astcreator-1.6.8.pom (3 KB at 182.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr/3.5/antlr-3.5.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr/3.5/antlr-3.5.pom (3 KB at 223.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr-master/3.5/antlr-master-3.5.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr-master/3.5/antlr-master-3.5.pom (11 KB at 707.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr-runtime/3.5/antlr-runtime-3.5.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr-runtime/3.5/antlr-runtime-3.5.pom (3 KB at 153.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/stringtemplate/3.2.1/stringtemplate-3.2.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/stringtemplate/3.2.1/stringtemplate-3.2.1.pom (8 KB at 607.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/antlr/antlr/2.7.7/antlr-2.7.7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/antlr/antlr/2.7.7/antlr-2.7.7.pom (632 B at 61.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/ST4/4.0.7/ST4-4.0.7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/ST4/4.0.7/ST4-4.0.7.pom (13 KB at 1108.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-project-info-reports-plugin/2.1.1/maven-project-info-reports-plugin-2.1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-project-info-reports-plugin/2.1.1/maven-project-info-reports-plugin-2.1.1.pom (14 KB at 935.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/13/maven-plugins-13.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-plugins/13/maven-plugins-13.pom (12 KB at 822.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.0.4.1/maven-reporting-impl-2.0.4.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.0.4.1/maven-reporting-impl-2.0.4.1.pom (3 KB at 173.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-project/2.0.4/maven-project-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-project/2.0.4/maven-project-2.0.4.pom (2 KB at 138.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/2.0.4/maven-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/2.0.4/maven-2.0.4.pom (11 KB at 909.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/2.0.4/maven-settings-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-settings/2.0.4/maven-settings-2.0.4.pom (2 KB at 144.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/2.0.4/maven-model-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/2.0.4/maven-model-2.0.4.pom (3 KB at 220.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-profile/2.0.4/maven-profile-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-profile/2.0.4/maven-profile-2.0.4.pom (2 KB at 131.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact-manager/2.0.4/maven-artifact-manager-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact-manager/2.0.4/maven-artifact-manager-2.0.4.pom (2 KB at 82.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/2.0.4/maven-repository-metadata-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-repository-metadata/2.0.4/maven-repository-metadata-2.0.4.pom (2 KB at 121.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/2.0.4/maven-artifact-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/2.0.4/maven-artifact-2.0.4.pom (765 B at 49.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.0-alpha-10/doxia-core-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.0-alpha-10/doxia-core-1.0-alpha-10.pom (3 KB at 176.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/2.0.4/maven-plugin-api-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/2.0.4/maven-plugin-api-2.0.4.pom (643 B at 52.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-api/2.0.4/maven-reporting-api-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-api/2.0.4/maven-reporting-api-2.0.4.pom (902 B at 55.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting/2.0.4/maven-reporting-2.0.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting/2.0.4/maven-reporting-2.0.4.pom (700 B at 57.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.0-alpha-10/doxia-site-renderer-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.0-alpha-10/doxia-site-renderer-1.0-alpha-10.pom (5 KB at 213.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sitetools/1.0-alpha-10/doxia-sitetools-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sitetools/1.0-alpha-10/doxia-sitetools-1.0-alpha-10.pom (8 KB at 579.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.0-alpha-10/doxia-decoration-model-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.0-alpha-10/doxia-decoration-model-1.0-alpha-10.pom (3 KB at 198.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-apt/1.0-alpha-10/doxia-module-apt-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-apt/1.0-alpha-10/doxia-module-apt-1.0-alpha-10.pom (3 KB at 135.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-modules/1.0-alpha-10/doxia-modules-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-modules/1.0-alpha-10/doxia-modules-1.0-alpha-10.pom (3 KB at 164.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.0-alpha-10/doxia-module-fml-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.0-alpha-10/doxia-module-fml-1.0-alpha-10.pom (3 KB at 191.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xdoc/1.0-alpha-10/doxia-module-xdoc-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xdoc/1.0-alpha-10/doxia-module-xdoc-1.0-alpha-10.pom (3 KB at 165.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.0-alpha-10/doxia-module-xhtml-1.0-alpha-10.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.0-alpha-10/doxia-module-xhtml-1.0-alpha-10.pom (2 KB at 94.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-doxia-tools/1.0.1/maven-doxia-tools-1.0.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-doxia-tools/1.0.1/maven-doxia-tools-1.0.1.pom (6 KB at 374.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/1.4/commons-io-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/1.4/commons-io-1.4.pom (13 KB at 857.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/7/commons-parent-7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/7/commons-parent-7.pom (18 KB at 1314.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/2.0.2/maven-model-2.0.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/2.0.2/maven-model-2.0.2.pom (3 KB at 224.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.0-alpha-11/doxia-decoration-model-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.0-alpha-11/doxia-decoration-model-1.0-alpha-11.pom (3 KB at 267.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sitetools/1.0-alpha-11/doxia-sitetools-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sitetools/1.0-alpha-11/doxia-sitetools-1.0-alpha-11.pom (9 KB at 553.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-jar/1.0/maven-shared-jar-1.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-jar/1.0/maven-shared-jar-1.0.pom (5 KB at 346.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/2.0.7/maven-model-2.0.7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-model/2.0.7/maven-model-2.0.7.pom (3 KB at 228.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/2.0.7/maven-2.0.7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven/2.0.7/maven-2.0.7.pom (11 KB at 859.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/2.0.7/maven-artifact-2.0.7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-artifact/2.0.7/maven-artifact-2.0.7.pom (2 KB at 70.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-digest/1.0/plexus-digest-1.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-digest/1.0/plexus-digest-1.0.pom (2 KB at 86.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.7/plexus-components-1.1.7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.7/plexus-components-1.1.7.pom (5 KB at 404.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/bcel/bcel/5.2/bcel-5.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/bcel/bcel/5.2/bcel-5.2.pom (619 B at 50.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/jakarta-regexp/jakarta-regexp/1.4/jakarta-regexp-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/jakarta-regexp/jakarta-regexp/1.4/jakarta-regexp-1.4.pom (160 B at 12.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-provider-api/1.0-beta-3/wagon-provider-api-1.0-beta-3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-provider-api/1.0-beta-3/wagon-provider-api-1.0-beta-3.pom (906 B at 73.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon/1.0-beta-3/wagon-1.0-beta-3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon/1.0-beta-3/wagon-1.0-beta-3.pom (9 KB at 677.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh/1.0-beta-3/wagon-ssh-1.0-beta-3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh/1.0-beta-3/wagon-ssh-1.0-beta-3.pom (2 KB at 119.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-providers/1.0-beta-3/wagon-providers-1.0-beta-3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-providers/1.0-beta-3/wagon-providers-1.0-beta-3.pom (2 KB at 102.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.38/jsch-0.1.38.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.38/jsch-0.1.38.pom (967 B at 85.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh-common/1.0-beta-3/wagon-ssh-common-1.0-beta-3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh-common/1.0-beta-3/wagon-ssh-common-1.0-beta-3.pom (968 B at 63.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.4/plexus-utils-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.4/plexus-utils-1.4.pom (2 KB at 86.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-file/1.0-beta-3/wagon-file-1.0-beta-3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-file/1.0-beta-3/wagon-file-1.0-beta-3.pom (575 B at 51.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-http-lightweight/1.0-beta-3/wagon-http-lightweight-1.0-beta-3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-http-lightweight/1.0-beta-3/wagon-http-lightweight-1.0-beta-3.pom (2 KB at 73.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-http-shared/1.0-beta-3/wagon-http-shared-1.0-beta-3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-http-shared/1.0-beta-3/wagon-http-shared-1.0-beta-3.pom (2 KB at 81.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/nekohtml/xercesMinimal/1.9.6.2/xercesMinimal-1.9.6.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/nekohtml/xercesMinimal/1.9.6.2/xercesMinimal-1.9.6.2.pom (390 B at 27.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/nekohtml/nekohtml/1.9.6.2/nekohtml-1.9.6.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/nekohtml/nekohtml/1.9.6.2/nekohtml-1.9.6.2.pom (704 B at 43.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-api/1.1/maven-scm-api-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-api/1.1/maven-scm-api-1.1.pom (2 KB at 109.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm/1.1/maven-scm-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm/1.1/maven-scm-1.1.pom (20 KB at 1489.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-manager-plexus/1.1/maven-scm-manager-plexus-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-manager-plexus/1.1/maven-scm-manager-plexus-1.1.pom (3 KB at 125.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-managers/1.1/maven-scm-managers-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-managers/1.1/maven-scm-managers-1.1.pom (2 KB at 120.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-perforce/1.1/maven-scm-provider-perforce-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-perforce/1.1/maven-scm-provider-perforce-1.1.pom (3 KB at 153.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-providers/1.1/maven-scm-providers-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-providers/1.1/maven-scm-providers-1.1.pom (4 KB at 292.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-starteam/1.1/maven-scm-provider-starteam-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-starteam/1.1/maven-scm-provider-starteam-1.1.pom (3 KB at 176.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-svn-commons/1.1/maven-scm-provider-svn-commons-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-svn-commons/1.1/maven-scm-provider-svn-commons-1.1.pom (2 KB at 163.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-providers-svn/1.1/maven-scm-providers-svn-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-providers-svn/1.1/maven-scm-providers-svn-1.1.pom (2 KB at 125.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-svnexe/1.1/maven-scm-provider-svnexe-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-svnexe/1.1/maven-scm-provider-svnexe-1.1.pom (3 KB at 138.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvs-commons/1.1/maven-scm-provider-cvs-commons-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvs-commons/1.1/maven-scm-provider-cvs-commons-1.1.pom (3 KB at 126.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-providers-cvs/1.1/maven-scm-providers-cvs-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-providers-cvs/1.1/maven-scm-providers-cvs-1.1.pom (2 KB at 151.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvsexe/1.1/maven-scm-provider-cvsexe-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvsexe/1.1/maven-scm-provider-cvsexe-1.1.pom (3 KB at 192.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvsjava/1.1/maven-scm-provider-cvsjava-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvsjava/1.1/maven-scm-provider-cvsjava-1.1.pom (3 KB at 187.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.0-alpha-11/doxia-core-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.0-alpha-11/doxia-core-1.0-alpha-11.pom (3 KB at 164.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia/1.0-alpha-11/doxia-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia/1.0-alpha-11/doxia-1.0-alpha-11.pom (10 KB at 746.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.0-alpha-11/doxia-sink-api-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.0-alpha-11/doxia-sink-api-1.0-alpha-11.pom (2 KB at 109.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.0-alpha-11/doxia-module-xhtml-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.0-alpha-11/doxia-module-xhtml-1.0-alpha-11.pom (2 KB at 68.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-modules/1.0-alpha-11/doxia-modules-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-modules/1.0-alpha-11/doxia-modules-1.0-alpha-11.pom (3 KB at 191.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.0-alpha-11/doxia-site-renderer-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.0-alpha-11/doxia-site-renderer-1.0-alpha-11.pom (5 KB at 328.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-apt/1.0-alpha-11/doxia-module-apt-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-apt/1.0-alpha-11/doxia-module-apt-1.0-alpha-11.pom (3 KB at 135.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.0-alpha-11/doxia-module-fml-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.0-alpha-11/doxia-module-fml-1.0-alpha-11.pom (3 KB at 199.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xdoc/1.0-alpha-11/doxia-module-xdoc-1.0-alpha-11.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xdoc/1.0-alpha-11/doxia-module-xdoc-1.0-alpha-11.pom (3 KB at 153.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/astcreator/1.6.8/astcreator-1.6.8.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr/3.5/antlr-3.5.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/ST4/4.0.7/ST4-4.0.7.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr-runtime/3.5/antlr-runtime-3.5.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/antlr/stringtemplate/3.2.1/stringtemplate-3.2.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr-runtime/3.5/antlr-runtime-3.5.jar (164 KB at 7121.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/antlr/antlr/2.7.7/antlr-2.7.7.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/ST4/4.0.7/ST4-4.0.7.jar (231 KB at 7951.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-project-info-reports-plugin/2.1.1/maven-project-info-reports-plugin-2.1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/astcreator/astcreator/1.6.8/astcreator-1.6.8.jar (301 KB at 9111.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.0.4.1/maven-reporting-impl-2.0.4.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/stringtemplate/3.2.1/stringtemplate-3.2.1.jar (146 KB at 4268.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-doxia-tools/1.0.1/maven-doxia-tools-1.0.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/antlr/antlr/2.7.7/antlr-2.7.7.jar (435 KB at 18118.8 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugins/maven-project-info-reports-plugin/2.1.1/maven-project-info-reports-plugin-2.1.1.jar (206 KB at 11418.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/1.4/commons-io-1.4.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-jar/1.0/maven-shared-jar-1.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr/3.5/antlr-3.5.jar (1118 KB at 22356.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-digest/1.0/plexus-digest-1.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-impl/2.0.4.1/maven-reporting-impl-2.0.4.1.jar (19 KB at 956.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/bcel/bcel/5.2/bcel-5.2.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-doxia-tools/1.0.1/maven-doxia-tools-1.0.1.jar (38 KB at 1877.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/jakarta-regexp/jakarta-regexp/1.4/jakarta-regexp-1.4.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-jar/1.0/maven-shared-jar-1.0.jar (37 KB at 1339.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-collections/commons-collections/3.1/commons-collections-3.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/jakarta-regexp/jakarta-regexp/1.4/jakarta-regexp-1.4.jar (28 KB at 1993.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh/1.0-beta-3/wagon-ssh-1.0-beta-3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-digest/1.0/plexus-digest-1.0.jar (12 KB at 413.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.38/jsch-0.1.38.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/1.4/commons-io-1.4.jar (107 KB at 3672.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh-common/1.0-beta-3/wagon-ssh-common-1.0-beta-3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/bcel/bcel/5.2/bcel-5.2.jar (521 KB at 19290.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-file/1.0-beta-3/wagon-file-1.0-beta-3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh/1.0-beta-3/wagon-ssh-1.0-beta-3.jar (28 KB at 1977.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-http-lightweight/1.0-beta-3/wagon-http-lightweight-1.0-beta-3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-ssh-common/1.0-beta-3/wagon-ssh-common-1.0-beta-3.jar (24 KB at 1571.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-http-shared/1.0-beta-3/wagon-http-shared-1.0-beta-3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-file/1.0-beta-3/wagon-file-1.0-beta-3.jar (10 KB at 760.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/nekohtml/xercesMinimal/1.9.6.2/xercesMinimal-1.9.6.2.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-http-lightweight/1.0-beta-3/wagon-http-lightweight-1.0-beta-3.jar (14 KB at 971.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/nekohtml/nekohtml/1.9.6.2/nekohtml-1.9.6.2.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/com/jcraft/jsch/0.1.38/jsch-0.1.38.jar (174 KB at 6199.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-api/1.1/maven-scm-api-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-collections/commons-collections/3.1/commons-collections-3.1.jar (547 KB at 16553.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-manager-plexus/1.1/maven-scm-manager-plexus-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/wagon/wagon-http-shared/1.0-beta-3/wagon-http-shared-1.0-beta-3.jar (19 KB at 1099.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-perforce/1.1/maven-scm-provider-perforce-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/nekohtml/xercesMinimal/1.9.6.2/xercesMinimal-1.9.6.2.jar (39 KB at 2591.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-starteam/1.1/maven-scm-provider-starteam-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/nekohtml/nekohtml/1.9.6.2/nekohtml-1.9.6.2.jar (110 KB at 8403.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-svn-commons/1.1/maven-scm-provider-svn-commons-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-api/1.1/maven-scm-api-1.1.jar (81 KB at 5747.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-svnexe/1.1/maven-scm-provider-svnexe-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-manager-plexus/1.1/maven-scm-manager-plexus-1.1.jar (10 KB at 469.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvs-commons/1.1/maven-scm-provider-cvs-commons-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-starteam/1.1/maven-scm-provider-starteam-1.1.jar (68 KB at 3974.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvsexe/1.1/maven-scm-provider-cvsexe-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-svn-commons/1.1/maven-scm-provider-svn-commons-1.1.jar (37 KB at 2433.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvsjava/1.1/maven-scm-provider-cvsjava-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-perforce/1.1/maven-scm-provider-perforce-1.1.jar (64 KB at 2769.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.0-alpha-11/doxia-core-1.0-alpha-11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-svnexe/1.1/maven-scm-provider-svnexe-1.1.jar (58 KB at 3586.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.0-alpha-11/doxia-module-xhtml-1.0-alpha-11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvs-commons/1.1/maven-scm-provider-cvs-commons-1.1.jar (69 KB at 3257.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.0-alpha-11/doxia-sink-api-1.0-alpha-11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.0-alpha-11/doxia-core-1.0-alpha-11.jar (54 KB at 2668.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.0-alpha-11/doxia-decoration-model-1.0-alpha-11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.0-alpha-11/doxia-module-xhtml-1.0-alpha-11.jar (21 KB at 1613.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.0-alpha-11/doxia-site-renderer-1.0-alpha-11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvsjava/1.1/maven-scm-provider-cvsjava-1.1.jar (40 KB at 1572.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-apt/1.0-alpha-11/doxia-module-apt-1.0-alpha-11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/scm/maven-scm-provider-cvsexe/1.1/maven-scm-provider-cvsexe-1.1.jar (26 KB at 966.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.0-alpha-11/doxia-module-fml-1.0-alpha-11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.0-alpha-11/doxia-sink-api-1.0-alpha-11.jar (10 KB at 740.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xdoc/1.0-alpha-11/doxia-module-xdoc-1.0-alpha-11.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.0-alpha-11/doxia-decoration-model-1.0-alpha-11.jar (49 KB at 4051.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.5.5/plexus-utils-1.5.5.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.0-alpha-11/doxia-module-fml-1.0-alpha-11.jar (18 KB at 1369.2 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xdoc/1.0-alpha-11/doxia-module-xdoc-1.0-alpha-11.jar (27 KB at 2439.5 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-apt/1.0-alpha-11/doxia-module-apt-1.0-alpha-11.jar (46 KB at 2536.8 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.0-alpha-11/doxia-site-renderer-1.0-alpha-11.jar (45 KB at 2137.2 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.5.5/plexus-utils-1.5.5.jar (246 KB at 12915.0 KB/sec)
[INFO] Preparing for tree generation...
[INFO] Configuring extension
[INFO] Extension base dependency is: "org.overturetool.core.codegen:ir"
[INFO] Searching for base dependency artifact
[INFO] Extension base artifact found - exstracting base tree definition files
[INFO] Setting base definition files to:
[INFO] base: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/ir.ast
[INFO] base tostring: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/ir.ast.tostring
[INFO] Extension base artifact configured.
[INFO] Checking if generation required.
[INFO] Full AST generation needed
[INFO] Generating...
[INFO] Generator starting with input: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/ir.ast
[INFO] Generator starting with extension input: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/src/main/resources/ccg.ast
Generating base and extension tree, standby ...
Extension tree only: true
Adding aspect fields: PIRBase.{sourceNode,tag,metaData}
WARNING: Using SubProduction class found without using package name. SImportsIRBase
WARNING: Using SubProduction class found without using package name. SImportIRBase
Adding aspect fields: SImportIRBase.{name,renamed,fromModuleName}
Adding aspect fields: SValueImportBase.{importType}
WARNING: Using SubProduction class found without using package name. SExportsIRBase
WARNING: Using SubProduction class found without using package name. SExportIRBase
Adding aspect fields: SExportIRBase.{decl}
WARNING: Using SubProduction class found without using package name. SPatternIRBase
WARNING: Using SubProduction class found without using package name. SBindIRBase
Adding aspect fields: SBindIRBase.{pattern}
WARNING: Using SubProduction class found without using package name. SMultipleBindIRBase
Adding aspect fields: SMultipleBindIRBase.{patterns}
WARNING: Using SubProduction class found without using package name. SNameIRBase
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Adding aspect fields: SClassDeclBase.{globalMetaData,package,dependencies,access,abstract,static,name,fields,invariant,methods,functions,traces,superNames,thread,innerClasses,interfaces,typeDecls,perSyncs,mutexSyncs}
WARNING: Using SubProduction class found without using package name. SStateDesignatorIRBase
Adding aspect fields: SStateDesignatorIRBase.{type}
WARNING: Using SubProduction class found without using package name. SObjectDesignatorIRBase
WARNING: Using SubProduction class found without using package name. SLocalParamIRBase
WARNING: Using SubProduction class found without using package name. SStmIRBase
Adding aspect fields: SCallStmBase.{type,isStatic,name,args}
WARNING: Using SubProduction class found without using package name. SLetBeStIRBase
WARNING: Using SubProduction class found without using package name. SExpIRBase
Adding aspect fields: SExpIRBase.{type}
WARNING: Using SubProduction class found without using package name. SModifierIRBase
Adding aspect fields: SIsExpBase.{exp}
Adding aspect fields: SVarExpBase.{isLambda,isLocal,name}
Adding aspect fields: SQuantifierExpBase.{bindList,predicate}
Adding aspect fields: SBinaryExpBase.{left,right}
Adding aspect fields: SUnaryExpBase.{exp}
WARNING: Using SubProduction class found without using package name. STypeIRBase
Adding aspect fields: STypeIRBase.{optional,namedInvType}
Adding aspect fields: SSetTypeBase.{empty,setOf}
Adding aspect fields: SSeqTypeBase.{empty,seq1,seqOf}
Adding aspect fields: SMapTypeBase.{empty,injective,from,to}
WARNING: Using SubProduction class found without using package name. STermIRBase
WARNING: Using SubProduction class found without using package name. STraceDeclIRBase
WARNING: Using SubProduction class found without using package name. STraceCoreDeclIRBase
Retry Create interfaces - with 10 not yet created interfaces.
Retry Create interfaces - with 1 not yet created interfaces.
Done creating interfaces
Generating toString add on...
WARNING: Using SubProduction class found without using package name. SExpIRBase
WARNING: Using SubProduction class found without using package name. SStmIRBase
WARNING: Using SubProduction class found without using package name. SDeclIRBase
Done creating interfaces
Generating toString add on...
***********************************************
AST Creator Extensions
***********************************************
Generating enumerations...
Generating analysis visitors...
Analysis...Answer...Question...Question-Answer...Depth-First...
Writing sources to the file system, standby ...
Destination: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/generated-sources/astCreator
Copying base classes to destination...
Writing source files.:
................................
File write completed in 0 secs
Created AST with extensions.
[INFO]
[INFO] --- build-helper-maven-plugin:1.7:add-source (add-source) @ vdm2c ---
[INFO] Source directory: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/generated-sources/astCreator added.
[INFO]
[INFO] --- maven-resources-plugin:2.6:resources (default-resources) @ vdm2c ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 190 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.0:compile (default-compile) @ vdm2c ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 92 source files to /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/classes
[WARNING] /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java uses unchecked or unsafe operations.
[WARNING] /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FreeLocalBlockDeclsTrans.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ vdm2c ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 96 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ vdm2c ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 8 source files to /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.19:test (default-test) @ vdm2c ---
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit4/2.19/surefire-junit4-2.19.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit4/2.19/surefire-junit4-2.19.pom (4 KB at 177.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-providers/2.19/surefire-providers-2.19.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-providers/2.19/surefire-providers-2.19.pom (3 KB at 208.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit4/2.19/surefire-junit4-2.19.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-junit4/2.19/surefire-junit4-2.19.jar (75 KB at 4934.0 KB/sec)
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.overture.codegen.vdm2c.NativeClassesTests
Tests run: 24, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 83.397 sec - in org.overture.codegen.vdm2c.NativeClassesTests
Running org.overture.codegen.vdm2c.ExternalTests
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 sec - in org.overture.codegen.vdm2c.ExternalTests
Running org.overture.codegen.vdm2c.NativeTests
Tests run: 13, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 43.141 sec - in org.overture.codegen.vdm2c.NativeTests
Results :
Tests run: 38, Failures: 0, Errors: 0, Skipped: 0
[INFO]
[INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ vdm2c ---
[INFO] Building jar: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/vdm2c-0.0.6.jar
[INFO]
[INFO] --- maven-source-plugin:2.1.2:jar-no-fork (attach-sources) @ vdm2c ---
[INFO] org already added, skipping
[INFO] org/overture already added, skipping
[INFO] org/overture/codegen already added, skipping
[INFO] org/overture/codegen/vdm2c already added, skipping
[INFO] Building jar: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/vdm2c-0.0.6-sources.jar
[INFO] org already added, skipping
[INFO] org/overture already added, skipping
[INFO] org/overture/codegen already added, skipping
[INFO] org/overture/codegen/vdm2c already added, skipping
[INFO]
[INFO] --- maven-assembly-plugin:2.4:single (make-my-jar-with-dependencies) @ vdm2c ---
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.4/maven-common-artifact-filters-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.4/maven-common-artifact-filters-1.4.pom (4 KB at 204.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/2.1/plexus-utils-2.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/2.1/plexus-utils-2.1.pom (4 KB at 303.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.2/plexus-archiver-2.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.2/plexus-archiver-2.2.pom (4 KB at 241.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.20/plexus-components-1.1.20.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.20/plexus-components-1.1.20.pom (3 KB at 227.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.7/plexus-utils-3.0.7.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.7/plexus-utils-3.0.7.pom (3 KB at 175.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.pom (3 KB at 216.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/4/maven-shared-components-4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/4/maven-shared-components-4.pom (3 KB at 134.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/4/maven-parent-4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/4/maven-parent-4.pom (10 KB at 813.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-io/1.0/maven-shared-io-1.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-io/1.0/maven-shared-io-1.0.pom (3 KB at 227.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.6/plexus-io-2.0.6.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.6/plexus-io-2.0.6.pom (3 KB at 154.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.2/plexus-components-1.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.2/plexus-components-1.2.pom (3 KB at 230.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0-alpha-2/maven-repository-builder-1.0-alpha-2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0-alpha-2/maven-repository-builder-1.0-alpha-2.pom (4 KB at 197.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.0-alpha-1/maven-common-artifact-filters-1.0-alpha-1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.0-alpha-1/maven-common-artifact-filters-1.0-alpha-1.pom (2 KB at 117.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/6/maven-shared-components-6.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/6/maven-shared-components-6.pom (4 KB at 116.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.4/maven-common-artifact-filters-1.4.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.2/plexus-archiver-2.2.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.6/plexus-io-2.0.6.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0-alpha-2/maven-repository-builder-1.0-alpha-2.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-common-artifact-filters/1.4/maven-common-artifact-filters-1.4.jar (31 KB at 1714.3 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/file-management/1.1/file-management-1.1.jar (31 KB at 1521.9 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-repository-builder/1.0-alpha-2/maven-repository-builder-1.0-alpha-2.jar (23 KB at 1330.1 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.6/plexus-io-2.0.6.jar (57 KB at 2448.6 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.2/plexus-archiver-2.2.jar (181 KB at 7225.7 KB/sec)
[INFO] Building jar: /var/lib/jenkins/workspace/vdm2c-release/core/vdm2c/target/vdm2c-0.0.6-jar-with-dependencies.jar
[INFO]
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ vdm2c ---
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.4/doxia-sink-api-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.4/doxia-sink-api-1.4.pom (2 KB at 83.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia/1.4/doxia-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia/1.4/doxia-1.4.pom (18 KB at 1461.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-logging-api/1.4/doxia-logging-api-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-logging-api/1.4/doxia-logging-api-1.4.pom (2 KB at 107.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.4/doxia-site-renderer-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.4/doxia-site-renderer-1.4.pom (6 KB at 497.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sitetools/1.4/doxia-sitetools-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sitetools/1.4/doxia-sitetools-1.4.pom (17 KB at 1396.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.4/doxia-core-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.4/doxia-core-1.4.pom (4 KB at 220.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.pom (236 B at 21.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.0.2/httpclient-4.0.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.0.2/httpclient-4.0.2.pom (8 KB at 457.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-client/4.0.2/httpcomponents-client-4.0.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-client/4.0.2/httpcomponents-client-4.0.2.pom (9 KB at 673.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/project/4.1/project-4.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/project/4.1/project-4.1.pom (16 KB at 1333.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.0.1/httpcore-4.0.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.0.1/httpcore-4.0.1.pom (5 KB at 367.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-core/4.0.1/httpcomponents-core-4.0.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-core/4.0.1/httpcomponents-core-4.0.1.pom (10 KB at 761.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/project/4.0/project-4.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/project/4.0/project-4.0.pom (7 KB at 510.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.3/commons-codec-1.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.3/commons-codec-1.3.pom (6 KB at 541.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.4/doxia-decoration-model-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.4/doxia-decoration-model-1.4.pom (3 KB at 174.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.4/doxia-module-xhtml-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.4/doxia-module-xhtml-1.4.pom (2 KB at 132.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-modules/1.4/doxia-modules-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-modules/1.4/doxia-modules-1.4.pom (3 KB at 197.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.4/doxia-module-fml-1.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.4/doxia-module-fml-1.4.pom (5 KB at 293.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.pom (18 KB at 1269.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-digester/commons-digester/1.8/commons-digester-1.8.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-digester/commons-digester/1.8/commons-digester-1.8.pom (7 KB at 570.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-logging/commons-logging/1.1/commons-logging-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-logging/commons-logging/1.1/commons-logging-1.1.pom (7 KB at 503.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/logkit/logkit/1.0.1/logkit-1.0.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/logkit/logkit/1.0.1/logkit-1.0.1.pom (147 B at 10.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/avalon-framework/avalon-framework/4.1.3/avalon-framework-4.1.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/avalon-framework/avalon-framework/4.1.3/avalon-framework-4.1.3.pom (167 B at 13.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/javax/servlet/servlet-api/2.3/servlet-api-2.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/javax/servlet/servlet-api/2.3/servlet-api-2.3.pom (156 B at 12.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-chain/commons-chain/1.1/commons-chain-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-chain/commons-chain/1.1/commons-chain-1.1.pom (6 KB at 451.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.pom (9 KB at 518.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/dom4j/dom4j/1.1/dom4j-1.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/dom4j/dom4j/1.1/dom4j-1.1.pom (142 B at 9.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/sslext/sslext/1.2-0/sslext-1.2-0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/sslext/sslext/1.2-0/sslext-1.2-0.pom (653 B at 53.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-core/1.3.8/struts-core-1.3.8.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-core/1.3.8/struts-core-1.3.8.pom (5 KB at 323.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-parent/1.3.8/struts-parent-1.3.8.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-parent/1.3.8/struts-parent-1.3.8.pom (10 KB at 611.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-master/4/struts-master-4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-master/4/struts-master-4.pom (12 KB at 962.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/2/apache-2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/2/apache-2.pom (4 KB at 274.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/antlr/antlr/2.7.2/antlr-2.7.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/antlr/antlr/2.7.2/antlr-2.7.2.pom (145 B at 12.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-taglib/1.3.8/struts-taglib-1.3.8.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-taglib/1.3.8/struts-taglib-1.3.8.pom (4 KB at 273.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.pom (3 KB at 236.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity/1.6.2/velocity-1.6.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity/1.6.2/velocity-1.6.2.pom (11 KB at 740.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.2.3/httpclient-4.2.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.2.3/httpclient-4.2.3.pom (6 KB at 481.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-client/4.2.3/httpcomponents-client-4.2.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-client/4.2.3/httpcomponents-client-4.2.3.pom (15 KB at 896.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/project/6/project-6.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/project/6/project-6.pom (24 KB at 1916.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.2.2/httpcore-4.2.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.2.2/httpcore-4.2.2.pom (6 KB at 462.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-core/4.2.2/httpcomponents-core-4.2.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcomponents-core/4.2.2/httpcomponents-core-4.2.2.pom (12 KB at 700.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.6/commons-codec-1.6.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.6/commons-codec-1.6.pom (11 KB at 838.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12.1/qdox-1.12.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12.1/qdox-1.12.1.pom (18 KB at 1145.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9/plexus-archiver-2.9.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9/plexus-archiver-2.9.pom (5 KB at 355.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.20/plexus-utils-3.0.20.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.20/plexus-utils-3.0.20.pom (4 KB at 310.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.3.1/plexus-3.3.1.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.3.1/plexus-3.3.1.pom (20 KB at 1426.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4/plexus-io-2.4.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4/plexus-io-2.4.pom (4 KB at 242.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.9/commons-compress-1.9.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.9/commons-compress-1.9.pom (12 KB at 656.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/34/commons-parent-34.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/34/commons-parent-34.pom (55 KB at 2601.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.4/doxia-sink-api-1.4.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-logging-api/1.4/doxia-logging-api-1.4.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.4/doxia-core-1.4.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.4/doxia-site-renderer-1.4.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-logging-api/1.4/doxia-logging-api-1.4.jar (12 KB at 649.8 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.4/doxia-sink-api-1.4.jar (11 KB at 643.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.4/doxia-decoration-model-1.4.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.4/doxia-module-xhtml-1.4.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.4/doxia-site-renderer-1.4.jar (52 KB at 2879.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.4/doxia-module-fml-1.4.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.4/doxia-core-1.4.jar (162 KB at 8946.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.4/doxia-decoration-model-1.4.jar (60 KB at 3988.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-digester/commons-digester/1.8/commons-digester-1.8.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.4/doxia-module-xhtml-1.4.jar (16 KB at 1001.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-chain/commons-chain/1.1/commons-chain-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.4/doxia-module-fml-1.4.jar (37 KB at 1944.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-chain/commons-chain/1.1/commons-chain-1.1.jar (88 KB at 6760.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/dom4j/dom4j/1.1/dom4j-1.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.jar (339 KB at 12535.4 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/sslext/sslext/1.2-0/sslext-1.2-0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-digester/commons-digester/1.8/commons-digester-1.8.jar (141 KB at 8764.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-core/1.3.8/struts-core-1.3.8.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/dom4j/dom4j/1.1/dom4j-1.1.jar (447 KB at 19400.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/antlr/antlr/2.7.2/antlr-2.7.2.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/sslext/sslext/1.2-0/sslext-1.2-0.jar (26 KB at 1219.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-taglib/1.3.8/struts-taglib-1.3.8.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-core/1.3.8/struts-core-1.3.8.jar (322 KB at 13964.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.jar (136 KB at 3667.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.2.3/httpclient-4.2.3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.jar (1201 KB at 16222.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.2.2/httpcore-4.2.2.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.jar (117 KB at 7303.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.6/commons-codec-1.6.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/antlr/antlr/2.7.2/antlr-2.7.2.jar (350 KB at 16660.8 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12.1/qdox-1.12.1.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/struts/struts-taglib/1.3.8/struts-taglib-1.3.8.jar (246 KB at 12281.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9/plexus-archiver-2.9.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpcore/4.2.2/httpcore-4.2.2.jar (219 KB at 9492.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4/plexus-io-2.4.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/httpcomponents/httpclient/4.2.3/httpclient-4.2.3.jar (423 KB at 15104.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.9/commons-compress-1.9.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-codec/commons-codec/1.6/commons-codec-1.6.jar (228 KB at 13371.5 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.20/plexus-utils-3.0.20.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.9/plexus-archiver-2.9.jar (142 KB at 9464.6 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.12.1/qdox-1.12.1.jar (176 KB at 7634.9 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.4/plexus-io-2.4.jar (80 KB at 3762.9 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-compress/1.9/commons-compress-1.9.jar (370 KB at 18467.6 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.20/plexus-utils-3.0.20.jar (238 KB at 11871.5 KB/sec)
[INFO] Skipping javadoc generation
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ vdm2c ---
[INFO] Analyzed bundle 'The C Code Generator' with 63 classes
[INFO]
[INFO] --- maven-gpg-plugin:1.1:sign (sign-artifacts) @ vdm2c ---
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] Overture VDM 2 C Translator Root .................. SUCCESS [6.126s]
[INFO] C native root vdm2c ............................... SUCCESS [2.370s]
[INFO] The C Code Generator VDM library sources .......... SUCCESS [11.586s]
[INFO] Core Tools for vdm2c .............................. SUCCESS [0.414s]
[INFO] The C Code Generator .............................. SUCCESS [2:19.305s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 2:40.069s
[INFO] Finished at: Tue Sep 27 13:46:51 CEST 2016
[INFO] Final Memory: 43M/761M
[INFO] ------------------------------------------------------------------------
[INFO] Checking in modified POMs...
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git add -- pom.xml c/pom.xml c/vdmclib/pom.xml core/pom.xml core/vdm2c/pom.xml
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git rev-parse --show-toplevel
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git status --porcelain .
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[WARNING] Ignoring unrecognized line: ?? c/pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? c/vdmclib/pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? core/pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? core/vdm2c/pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? git-set-private-key.sh
[WARNING] Ignoring unrecognized line: ?? perform-release.sh
[WARNING] Ignoring unrecognized line: ?? pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? release.properties
[WARNING] Ignoring unrecognized line: ?? ssh
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git commit --verbose -F /tmp/maven-scm-578859197.commit pom.xml c/pom.xml c/vdmclib/pom.xml core/pom.xml core/vdm2c/pom.xml
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[INFO] Tagging release with the label Release/0.0.6...
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git tag -F /tmp/maven-scm-1978026302.commit Release/0.0.6
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git ls-files
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[INFO] Transforming 'Overture VDM 2 C Translator Root'...
[INFO] Transforming 'C native root vdm2c'...
[INFO] Transforming 'The C Code Generator VDM library sources'...
[INFO] Transforming 'Core Tools for vdm2c'...
[INFO] Transforming 'The C Code Generator'...
[INFO] Not removing release POMs
[INFO] Checking in modified POMs...
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git add -- pom.xml c/pom.xml c/vdmclib/pom.xml core/pom.xml core/vdm2c/pom.xml
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git rev-parse --show-toplevel
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git status --porcelain .
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[WARNING] Ignoring unrecognized line: ?? c/pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? c/vdmclib/pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? core/pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? core/vdm2c/pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? git-set-private-key.sh
[WARNING] Ignoring unrecognized line: ?? perform-release.sh
[WARNING] Ignoring unrecognized line: ?? pom.xml.releaseBackup
[WARNING] Ignoring unrecognized line: ?? release.properties
[WARNING] Ignoring unrecognized line: ?? ssh
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release && git commit --verbose -F /tmp/maven-scm-119815597.commit pom.xml c/pom.xml c/vdmclib/pom.xml core/pom.xml core/vdm2c/pom.xml
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release
[INFO] Release preparation complete.
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] Overture VDM 2 C Translator Root .................. SUCCESS [2:42.304s]
[INFO] C native root vdm2c ............................... SKIPPED
[INFO] The C Code Generator VDM library sources .......... SKIPPED
[INFO] Core Tools for vdm2c .............................. SKIPPED
[INFO] The C Code Generator .............................. SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 2:42.762s
[INFO] Finished at: Tue Sep 27 13:46:51 CEST 2016
[INFO] Final Memory: 15M/217M
[INFO] ------------------------------------------------------------------------
The changes just done locally by 'release:prepare' do not change the IDE versions, so this will be fixed now
Note: checking out 'Release/0.0.6'.
You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.
If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:
git checkout -b new_branch_name
HEAD is now at 54b3ea4... [maven-release-plugin] prepare release Release/0.0.6
Patch the ide/pom.xml with new parent version 0.0.6, and old self version 0.0.3-SNAPSHOT
Tycho-versions set-version to: 0.0.6
Add,commit, and squash commit for ide/* changes
[detached HEAD f117c04] Bump ide/ to version 0.0.6
7 files changed, 7 insertions(+), 7 deletions(-)
[detached HEAD 851ef55] [maven-release-plugin] prepare release Release/0.0.6
12 files changed, 16 insertions(+), 16 deletions(-)
Reset tag: Release/0.0.6 to here
Deleted tag 'Release/0.0.6' (was ba60ae8)
Release tag fixed
Now do the same change for development with version 0.0.7-SNAPSHOT
Checkout the release tag as detached HEAD
HEAD is now at 851ef55... [maven-release-plugin] prepare release Release/0.0.6
Pick last development commit: [maven-release-plugin] prepare for next development iteration'
[detached HEAD 23f439c] [maven-release-plugin] prepare for next development iteration
5 files changed, 6 insertions(+), 6 deletions(-)
Patch the ide/pom.xml with new parent version 0.0.7-SNAPSHOT, and self version 0.0.6
Add,commit, and squash commit for ide/* changes
[detached HEAD 79eff72] Bump ide/ to version 0.0.7-SNAPSHOT
7 files changed, 7 insertions(+), 7 deletions(-)
[detached HEAD d93872b] [maven-release-plugin] prepare for next development iteration
12 files changed, 13 insertions(+), 13 deletions(-)
Checkout development
Warning: you are leaving 1 commit behind, not connected to
any of your branches:
d93872b [maven-release-plugin] prepare for next development iteration
If you want to keep them by creating a new branch, this may be a good time
to do so with:
git branch new_branch_name d93872b
Switched to branch 'development'
Your branch is ahead of 'origin/development' by 2 commits.
(use "git push" to publish your local commits)
Nuke last two commits in development
HEAD is now at e5647b1 changed execution of native tests to use maven ant
Rebase the corrected detached HEAD on top of development
First, rewinding head to replay your work on top of it...
Fast-forwarded development to d93872b69e9b97669acd079e1feb4b937f15de2e.
Git modifications required are now performed
- fixed development
- fixed Release/0.0.6
batch mode:
Git push --follow-tags
Warning: Permanently added 'github.com,192.30.253.112' (RSA) to the list of known hosts.
To git@github.com:overturetool/vdm2c.git
e5647b1..d93872b development -> development
* [new tag] Release/0.0.6 -> Release/0.0.6
Perform release with profile 'With-IDE'
[INFO] Scanning for projects...
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:eclipse-plugin:0.0.7-SNAPSHOT
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ org.overturetool.vdm2c:ide:0.0.7-SNAPSHOT, /var/lib/jenkins/workspace/vdm2c-release/ide/pom.xml, line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:eclipse-feature:0.0.7-SNAPSHOT
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ org.overturetool.vdm2c:ide:0.0.7-SNAPSHOT, /var/lib/jenkins/workspace/vdm2c-release/ide/pom.xml, line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.features:pom:0.0.7-SNAPSHOT
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ org.overturetool.vdm2c:ide:0.0.7-SNAPSHOT, /var/lib/jenkins/workspace/vdm2c-release/ide/pom.xml, line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:eclipse-repository:0.0.7-SNAPSHOT
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ org.overturetool.vdm2c:ide:0.0.7-SNAPSHOT, /var/lib/jenkins/workspace/vdm2c-release/ide/pom.xml, line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c:ide:pom:0.0.7-SNAPSHOT
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ line 33, column 12
[WARNING]
[WARNING] It is highly recommended to fix these problems because they threaten the stability of your build.
[WARNING]
[WARNING] For this reason, future Maven versions might no longer support building such malformed projects.
[WARNING]
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-bundles-external/0.24.0/tycho-bundles-external-0.24.0.zip
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-bundles-external/0.24.0/tycho-bundles-external-0.24.0.zip (7062 KB at 7496.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.resolver.impl/0.24.0/org.eclipse.tycho.p2.resolver.impl-0.24.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.resolver.impl/0.24.0/org.eclipse.tycho.p2.resolver.impl-0.24.0.jar (209 KB at 6320.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.maven.repository/0.24.0/org.eclipse.tycho.p2.maven.repository-0.24.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.maven.repository/0.24.0/org.eclipse.tycho.p2.maven.repository-0.24.0.jar (144 KB at 7991.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.tools.impl/0.24.0/org.eclipse.tycho.p2.tools.impl-0.24.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/org.eclipse.tycho.p2.tools.impl/0.24.0/org.eclipse.tycho.p2.tools.impl-0.24.0.jar (46 KB at 1560.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-plugin/0.24.0/tycho-p2-plugin-0.24.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-plugin/0.24.0/tycho-p2-plugin-0.24.0.pom (3 KB at 116.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-plugin/0.24.0/tycho-p2-plugin-0.24.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-plugin/0.24.0/tycho-p2-plugin-0.24.0.jar (27 KB at 1076.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-launching/0.24.0/sisu-equinox-launching-0.24.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-launching/0.24.0/sisu-equinox-launching-0.24.0.pom (3 KB at 127.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.2/commons-exec-1.2.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.2/commons-exec-1.2.pom (11 KB at 296.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-artifactcomparator/0.24.0/tycho-artifactcomparator-0.24.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-artifactcomparator/0.24.0/tycho-artifactcomparator-0.24.0.pom (2 KB at 90.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-debug-all/5.0.3/asm-debug-all-5.0.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-debug-all/5.0.3/asm-debug-all-5.0.3.pom (2 KB at 92.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-parent/5.0.3/asm-parent-5.0.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-parent/5.0.3/asm-parent-5.0.3.pom (6 KB at 315.7 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-launching/0.24.0/sisu-equinox-launching-0.24.0.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.2/commons-exec-1.2.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-artifactcomparator/0.24.0/tycho-artifactcomparator-0.24.0.jar
Downloading: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-debug-all/5.0.3/asm-debug-all-5.0.3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/sisu-equinox-launching/0.24.0/sisu-equinox-launching-0.24.0.jar (28 KB at 828.4 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.2/commons-exec-1.2.jar (53 KB at 1120.9 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-artifactcomparator/0.24.0/tycho-artifactcomparator-0.24.0.jar (20 KB at 382.7 KB/sec)
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/ow2/asm/asm-debug-all/5.0.3/asm-debug-all-5.0.3.jar (370 KB at 5135.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-compiler-plugin/0.24.0/tycho-compiler-plugin-0.24.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-compiler-plugin/0.24.0/tycho-compiler-plugin-0.24.0.pom (3 KB at 78.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-compiler-plugin/0.24.0/tycho-compiler-plugin-0.24.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-compiler-plugin/0.24.0/tycho-compiler-plugin-0.24.0.jar (33 KB at 1018.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-repository-plugin/0.24.0/tycho-p2-repository-plugin-0.24.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-repository-plugin/0.24.0/tycho-p2-repository-plugin-0.24.0.pom (2 KB at 66.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-repository-plugin/0.24.0/tycho-p2-repository-plugin-0.24.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-repository-plugin/0.24.0/tycho-p2-repository-plugin-0.24.0.jar (14 KB at 691.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-publisher-plugin/0.24.0/tycho-p2-publisher-plugin-0.24.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-publisher-plugin/0.24.0/tycho-p2-publisher-plugin-0.24.0.pom (3 KB at 75.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-publisher-plugin/0.24.0/tycho-p2-publisher-plugin-0.24.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/eclipse/tycho/tycho-p2-publisher-plugin/0.24.0/tycho-p2-publisher-plugin-0.24.0.jar (20 KB at 1020.9 KB/sec)
[INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/cgen/pom.xml
[INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/ (0B at 0B/s)
[INFO] Adding repository http://download.eclipse.org/releases/neon
[INFO] Fetching compositeContent.jar from http://download.eclipse.org/releases/neon/ (0B of 498B at 0B/s)
[INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/neon/ (0B at 0B/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/technology/epp/packages/neon/ (0B at 0B/s)
[INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201606221000/ (0B at 0B/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/neon/201606221000/ (0B at 0B/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/neon/201606221000/ (109.58kB at 109.08kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/neon/201606221000/ (661.88kB at 330.69kB/s)
[INFO] Adding repository http://dl.bintray.com/overturetool/overturetool-development
[INFO] Fetching content.jar from http://dl.bintray.com/overturetool/overturetool-development/ (0B of 121.8kB at 0B/s)
[INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/cgen/pom.xml
[INFO] Fetching 201606221000&countryCode=gb&timeZone=1&format=xml from http://www.eclipse.org/downloads/download.php?format=xml&file=/releases/neon/ (0B at 0B/s)
[INFO] Fetching org.eclipse.osgi_3.11.0.v20160603-1336.jar.pack.gz from http://download.eclipse.org/releases/neon/201606221000/plugins/ (0B of 434.59kB at 0B/s)
[INFO] Fetching org.eclipse.osgi_3.11.0.v20160603-1336.jar.pack.gz from http://download.eclipse.org/releases/neon/201606221000/plugins/ (163.97kB of 434.59kB at 119.95kB/s)
[INFO] Fetching javax.xml_1.3.4.v201005080400.jar from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 246.29kB at 0B/s)
[INFO] Fetching org.apache.batik.css_1.7.0.v201011041433.jar from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 347.67kB at 0B/s)
[INFO] Fetching org.apache.batik.util_1.7.0.v201011041433.jar from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 154.43kB at 0B/s)
[INFO] Fetching org.w3c.dom.events_3.0.0.draft20060413_v201105210656.jar from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 17.78kB at 0B/s)
[INFO] Fetching org.w3c.css.sac_1.3.1.v200903091627.jar from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 37.68kB at 0B/s)
[INFO] Fetching org.w3c.dom.svg_1.1.0.v201011041433.jar from http://download.eclipse.org/releases/neon/201606221000/plugins/ (0B of 95.1kB at 0B/s)
[INFO] Fetching org.apache.batik.util.gui_1.7.0.v200903091627.jar from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 207.37kB at 0B/s)
[INFO] Fetching org.eclipse.osgi.services_3.5.100.v20160504-1419.jar.pack.gz from http://download.eclipse.org/releases/neon/201606221000/plugins/ (0B of 40.14kB at 0B/s)
[INFO] Fetching org.eclipse.compare_3.6.0.v20160418-1534.jar.pack.gz from http://download.eclipse.org/releases/neon/201606221000/plugins/ (0B of 250.31kB at 0B/s)
[INFO] Fetching org.eclipse.compare_3.6.0.v20160418-1534.jar.pack.gz from http://download.eclipse.org/releases/neon/201606221000/plugins/ (127.96kB of 250.31kB at 125.29kB/s)
[INFO] Fetching org.eclipse.ui_3.108.0.v20160518-1929.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 268.47kB at 0B/s)
[INFO] Fetching org.eclipse.core.resources_3.11.0.v20160503-1608.jar from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 861.95kB at 0B/s)
[INFO] Fetching org.eclipse.jface.text_3.11.0.v20160505-1301.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 313.85kB at 0B/s)
[INFO] Fetching org.eclipse.ui.ide_3.12.0.v20160601-1609.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 793.57kB at 0B/s)
[INFO] Fetching org.eclipse.ui.views_3.8.100.v20160518-1929.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 47.33kB at 0B/s)
[INFO] Fetching org.eclipse.ui.workbench.texteditor_3.10.0.v20160530-2011.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 228.42kB at 0B/s)
[INFO] Fetching org.eclipse.core.runtime_3.12.0.v20160606-1342.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 35.25kB at 0B/s)
[INFO] Fetching org.eclipse.core.expressions_3.5.100.v20160418-1621.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 32.83kB at 0B/s)
[INFO] Fetching org.eclipse.ui.editors_3.10.0.v20160505-0931.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 178.01kB at 0B/s)
[INFO] Fetching org.eclipse.ui.forms_3.7.0.v20160518-1929.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 125.59kB at 0B/s)
[INFO] Fetching org.eclipse.compare.core_3.6.0.v20160418-1534.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 32.24kB at 0B/s)
[INFO] Fetching com.ibm.icu_56.1.0.v201601250100.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 8.22MB at 0B/s)
[INFO] Fetching org.eclipse.core.commands_3.8.0.v20160316-1921.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 43.03kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.common_3.8.0.v20160509-1230.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 51.37kB at 0B/s)
[INFO] Fetching org.eclipse.core.contenttype_3.5.100.v20160418-1621.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 39.58kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.preferences_3.6.0.v20160120-1756.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 53.94kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.registry_3.6.100.v20160223-2218.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 71.51kB at 0B/s)
[INFO] Fetching org.eclipse.core.databinding_1.6.0.v20160412-0910.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/neon/201606221000/plugins/ (0B of 57.81kB at 0B/s)
[INFO] Fetching org.eclipse.core.databinding.observable_1.6.0.v20160511-1747.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 90.47kB at 0B/s)
[INFO] Fetching org.eclipse.core.databinding.property_1.6.0.v20160427-0852.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 49.78kB at 0B/s)
[INFO] Fetching org.eclipse.core.filebuffers_3.6.0.v20160503-1849.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 42.91kB at 0B/s)
[INFO] Fetching org.eclipse.text_3.6.0.v20160503-1849.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 91.22kB at 0B/s)
[INFO] Fetching org.eclipse.core.filesystem_1.6.0.v20160503-1608.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 27.45kB at 0B/s)
[INFO] Fetching org.eclipse.core.jobs_3.8.0.v20160509-0411.jar.pack.gz from http://ftp.linux.org.tr/eclipse//releases/neon/201606221000/plugins/ (0B of 46.37kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.app_1.3.400.v20150715-1528.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 40.76kB at 0B/s)
[INFO] Fetching org.eclipse.core.variables_3.3.0.v20160419-1720.jar.pack.gz from http://eclipse.mirror.garr.it/mirrors/eclipse//releases/neon/201606221000/plugins/ (0B of 17.99kB at 0B/s)
[INFO] Fetching org.eclipse.debug.core_3.10.100.v20160419-1720.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 115.16kB at 0B/s)
[INFO] Fetching org.eclipse.debug.ui_3.11.200.v20160518-1858.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 1MB at 0B/s)
[INFO] Fetching org.eclipse.ui.console_3.6.200.v20160518-1858.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 84.46kB at 0B/s)
[INFO] Fetching org.eclipse.help_3.7.0.v20160602-1307.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 122.2kB at 0B/s)
[INFO] Fetching org.eclipse.e4.core.commands_0.11.100.v20160506-0804.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 13.72kB at 0B/s)
[INFO] Fetching org.eclipse.e4.core.di_1.6.0.v20160319-0612.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/neon/201606221000/plugins/ (0B of 26.21kB at 0B/s)
[INFO] Fetching javax.inject_1.0.0.v20091030.jar from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 16.6kB at 0B/s)
[INFO] Fetching org.eclipse.e4.core.contexts_1.5.0.v20160504-0909.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 22.42kB at 0B/s)
[INFO] Fetching org.eclipse.e4.core.services_2.0.100.v20160509-1032.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 23.39kB at 0B/s)
[INFO] Fetching org.eclipse.e4.core.di.annotations_1.5.0.v20151127-1241.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 7.59kB at 0B/s)
[INFO] Fetching org.eclipse.e4.core.di.extensions_0.14.0.v20160211-1614.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 13.88kB at 0B/s)
[INFO] Fetching org.eclipse.e4.emf.xpath_0.1.200.v20160506-0804.jar.pack.gz from http://eclipse.mirror.garr.it/mirrors/eclipse//releases/neon/201606221000/plugins/ (0B of 21.67kB at 0B/s)
[INFO] Fetching org.apache.commons.jxpath_1.3.0.v200911051830.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 98kB at 0B/s)
[INFO] Fetching org.eclipse.emf.ecore_2.12.0.v20160420-0247.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 366.46kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.bindings_0.11.100.v20160509-1025.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 24.02kB at 0B/s)
[INFO] Fetching org.eclipse.swt_3.105.0.v20160603-0902.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 18.18kB at 0B/s)
[INFO] Fetching org.eclipse.jface_3.12.0.v20160518-1929.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 344.71kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.css.core_0.12.0.v20160505-1310.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/neon/201606221000/plugins/ (0B of 64.85kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.css.swt_0.12.100.v20160517-1505.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 80.01kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.css.swt.theme_0.10.100.v20160523-0836.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 16.11kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.di_1.1.100.v20160506-0759.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 9.57kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.model.workbench_1.2.0.v20160229-1459.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 106.56kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.services_1.2.100.v20160506-0759.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 14.13kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.widgets_1.1.100.v20160506-0759.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 9.84kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.workbench_1.4.0.v20160517-1624.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/neon/201606221000/plugins/ (0B of 81.91kB at 0B/s)
[INFO] Fetching org.eclipse.emf.ecore.change_2.11.0.v20160420-0247.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 36.05kB at 0B/s)
[INFO] Fetching org.eclipse.emf.ecore.xmi_2.12.0.v20160420-0247.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/neon/201606221000/plugins/ (0B of 80.33kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.workbench.addons.swt_1.2.100.v20160506-0759.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 53.79kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt_0.14.0.v20160525-0940.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 97.96kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.workbench.swt_0.14.0.v20160523-1900.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 72.41kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.ds_1.4.400.v20160226-2036.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 89.5kB at 0B/s)
[INFO] Fetching org.eclipse.jface.databinding_1.8.0.v20160420-2231.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 70.65kB at 0B/s)
[INFO] Fetching org.eclipse.e4.ui.workbench3_0.13.100.v20160506-0759.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 7.92kB at 0B/s)
[INFO] Fetching org.eclipse.emf.common_2.12.0.v20160420-0247.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 104.54kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.bidi_1.0.0.v20160307-1318.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 23.14kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.util_1.0.500.v20130404-1337.jar.pack.gz from http://eclipse.mirror.triple-it.nl/releases/neon/201606221000/plugins/ (0B of 30.41kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.p2.core_2.4.100.v20160419-0834.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 29.98kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.p2.engine_2.4.100.v20160419-0834.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 71.28kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.p2.metadata_2.3.100.v20160427-2220.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 101.77kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.p2.metadata.repository_1.2.300.v20160419-0834.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 47.43kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.p2.repository_2.3.200.v20160421-0324.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 52.26kB at 0B/s)
[INFO] Fetching org.tukaani.xz_1.3.0.v201308270617.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 36.04kB at 0B/s)
[INFO] Fetching org.eclipse.equinox.security_1.2.200.v20150715-1528.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 42.22kB at 0B/s)
[INFO] Fetching org.eclipse.ltk.core.refactoring_3.7.0.v20160419-0705.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 105.61kB at 0B/s)
[INFO] Fetching org.eclipse.ltk.ui.refactoring_3.8.0.v20160518-1817.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 176.66kB at 0B/s)
[INFO] Fetching org.eclipse.ui.navigator_3.6.100.v20160518-1929.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 131.5kB at 0B/s)
[INFO] Fetching org.eclipse.team.core_3.8.0.v20160418-1534.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 127.51kB at 0B/s)
[INFO] Fetching org.eclipse.team.ui_3.8.0.v20160518-1906.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 431.71kB at 0B/s)
[INFO] Fetching org.eclipse.swt.gtk.linux.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/neon/201606221000/plugins/ (0B of 1.14MB at 0B/s)
[INFO] Fetching org.eclipse.ui.workbench_3.108.0.v20160602-1232.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 1.03MB at 0B/s)
[INFO] Fetching org.eclipse.ui.navigator.resources_3.5.100.v20160518-1929.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 62.65kB at 0B/s)
[INFO] Fetching org.eclipse.ui.views.properties.tabbed_3.7.0.v20160310-0903.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 39.29kB at 0B/s)
[INFO] Fetching org.overture.ide.builders.vdmj_2.4.1.201608301645.jar from http://dl.bintray.com/overturetool/overturetool-development/plugins/ (0B of 372.92kB at 0B/s)
[INFO] Fetching org.overture.ide.core_2.4.1.201608301645.jar from http://dl.bintray.com/overturetool/overturetool-development/plugins/ (0B of 1.42MB at 0B/s)
[INFO] Fetching org.overture.ide.debug_2.4.1.201608301645.jar from http://dl.bintray.com/overturetool/overturetool-development/plugins/ (0B of 1.38MB at 0B/s)
[INFO] Fetching org.overture.ide.ui_2.4.1.201608301645.jar from http://dl.bintray.com/overturetool/overturetool-development/plugins/ (0B of 616.85kB at 0B/s)
[INFO] Fetching org.slf4j.api_1.7.2.v20121108-1250.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 16.96kB at 0B/s)
[INFO] Fetching org.w3c.dom.smil_1.0.1.v200903091627.jar.pack.gz from http://ftp.fau.de/eclipse/releases/neon/201606221000/plugins/ (0B of 14.95kB at 0B/s)
[INFO] Fetching org.eclipse.swt.gtk.linux.x86_64_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.ibcp.fr/pub/eclipse//releases/neon/201606221000/plugins/ (0B of 1.28MB at 0B/s)
[INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/cgen/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/features/cgen/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/features/cgen/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/features/cgen/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/repository/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/repository/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.0.7-SNAPSHOT @ /var/lib/jenkins/workspace/vdm2c-release/ide/repository/pom.xml
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO]
[INFO] Overture VDM 2 C Translator Root
[INFO] C native root vdm2c
[INFO] The C Code Generator VDM library sources
[INFO] Core Tools for vdm2c
[INFO] The C Code Generator
[INFO] Overture FMI IDE Top-level
[INFO] The C Code Generator Plugin
[INFO] Overture IDE Eclipse VDM2C features
[INFO] Overture IDE Eclipse C Code Generator feature
[INFO] Overture IDE Eclipse repository
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture VDM 2 C Translator Root 0.0.7-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-release-plugin:2.5:perform (default-cli) @ root ---
[INFO] Performing a LOCAL checkout from scm:git:file:///var/lib/jenkins/workspace/vdm2c-release
[INFO] Checking out the project to perform the release ...
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release/target && git clone --branch Release/0.0.6 file:///var/lib/jenkins/workspace/vdm2c-release /var/lib/jenkins/workspace/vdm2c-release/target/checkout
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release/target
[INFO] Executing: /bin/sh -c cd /tmp && git ls-remote file:///var/lib/jenkins/workspace/vdm2c-release
[INFO] Working directory: /tmp
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release/target/checkout && git fetch file:///var/lib/jenkins/workspace/vdm2c-release
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release/target/checkout
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release/target/checkout && git checkout Release/0.0.6
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release/target/checkout
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release/target/checkout && git ls-files
[INFO] Working directory: /var/lib/jenkins/workspace/vdm2c-release/target/checkout
[INFO] Invoking perform goals in directory /var/lib/jenkins/workspace/vdm2c-release/target/checkout
[INFO] Executing goals 'deploy'...
[INFO] Executing: /bin/sh -c cd /var/lib/jenkins/workspace/vdm2c-release/target/checkout && /usr/share/maven/bin/mvn -s /tmp/release-settings2425296234318460588.xml deploy --no-plugin-updates --batch-mode -Psonatype-oss-release -P With-IDE,release,With-IDE,all-platforms -f pom.xml
[WARNING] Command line option -npu is deprecated and will be removed in future Maven versions.
[INFO] Scanning for projects...
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.c:vdmclib:jar:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c:c:pom:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.core:vdm2c:jar:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c:core:pom:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:eclipse-plugin:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ org.overturetool.vdm2c:ide:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/pom.xml, line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:eclipse-feature:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ org.overturetool.vdm2c:ide:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/pom.xml, line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.features:pom:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ org.overturetool.vdm2c:ide:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/pom.xml, line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:eclipse-repository:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ org.overturetool.vdm2c:ide:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/pom.xml, line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c:ide:pom:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ org.overturetool.vdm2c:root:0.0.6, /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml, line 63, column 14
[WARNING] 'reporting.plugins.plugin.version' for org.apache.maven.plugins:maven-deploy-plugin is missing. @ line 33, column 12
[WARNING]
[WARNING] Some problems were encountered while building the effective model for org.overturetool.vdm2c:root:pom:0.0.6
[WARNING] 'build.plugins.plugin.version' for org.codehaus.mojo:exec-maven-plugin is missing. @ line 63, column 14
[WARNING]
[WARNING] It is highly recommended to fix these problems because they threaten the stability of your build.
[WARNING]
[WARNING] For this reason, future Maven versions might no longer support building such malformed projects.
[WARNING]
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/exec-maven-plugin/maven-metadata.xml
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/exec-maven-plugin/maven-metadata.xml (737 B at 0.3 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/exec-maven-plugin/1.5.0/exec-maven-plugin-1.5.0.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/exec-maven-plugin/1.5.0/exec-maven-plugin-1.5.0.pom (13 KB at 376.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/mojo-parent/38/mojo-parent-38.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/mojo-parent/38/mojo-parent-38.pom (33 KB at 1127.0 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/exec-maven-plugin/1.5.0/exec-maven-plugin-1.5.0.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/mojo/exec-maven-plugin/1.5.0/exec-maven-plugin-1.5.0.jar (53 KB at 1183.0 KB/sec)
[INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/cgen/pom.xml
[INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/ (0B at 0B/s)
[INFO] Adding repository http://download.eclipse.org/releases/neon
[INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/neon/ (0B at 0B/s)
[INFO] Fetching p2.index from http://download.eclipse.org/releases/neon/201606221000/ (0B at 0B/s)
[INFO] Adding repository http://dl.bintray.com/overturetool/overturetool-development
[INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/cgen/pom.xml
[INFO] Fetching 201606221000&countryCode=gb&timeZone=1&format=xml from http://www.eclipse.org/downloads/download.php?format=xml&file=/releases/neon/ (0B at 0B/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.internode.on.net/pub/eclipse/releases/neon/201606221000/plugins/ (0B of 1.18MB at 0B/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.internode.on.net/pub/eclipse/releases/neon/201606221000/plugins/ (21.11kB of 1.18MB at 17.11kB/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.internode.on.net/pub/eclipse/releases/neon/201606221000/plugins/ (59.86kB of 1.18MB at 27.93kB/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.internode.on.net/pub/eclipse/releases/neon/201606221000/plugins/ (160.05kB of 1.18MB at 52.02kB/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.internode.on.net/pub/eclipse/releases/neon/201606221000/plugins/ (290.97kB of 1.18MB at 71.74kB/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.internode.on.net/pub/eclipse/releases/neon/201606221000/plugins/ (479.34kB of 1.18MB at 95.07kB/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.internode.on.net/pub/eclipse/releases/neon/201606221000/plugins/ (667.71kB of 1.18MB at 129.32kB/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_3.105.0.v20160603-0902.jar.pack.gz from http://mirror.internode.on.net/pub/eclipse/releases/neon/201606221000/plugins/ (964.29kB of 1.18MB at 180.89kB/s)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_64_3.105.0.v20160603-0902.jar.pack.gz from http://mirrors.nic.cz/eclipse/releases/neon/201606221000/plugins/ (0B of 1.17MB at 0B/s)
[INFO] Fetching org.eclipse.swt.cocoa.macosx.x86_64_3.105.0.v20160603-0902.jar.pack.gz from http://mirrors.nic.cz/eclipse/releases/neon/201606221000/plugins/ (0B of 922.7kB at 0B/s)
[INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/cgen/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/features/cgen/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/features/cgen/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/features/cgen/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/repository/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/repository/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository:0.0.6 @ /var/lib/jenkins/workspace/vdm2c-release/target/checkout/ide/repository/pom.xml
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO]
[INFO] Overture VDM 2 C Translator Root
[INFO] C native root vdm2c
[INFO] The C Code Generator VDM library sources
[INFO] Core Tools for vdm2c
[INFO] The C Code Generator
[INFO] Overture FMI IDE Top-level
[INFO] The C Code Generator Plugin
[INFO] Overture IDE Eclipse VDM2C features
[INFO] Overture IDE Eclipse C Code Generator feature
[INFO] Overture IDE Eclipse repository
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture VDM 2 C Translator Root 0.0.6
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root ---
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/vdm2c-release/repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/vdm2c-release/target/checkout/target/coverage-reports/jacoco-unit.exec,excludes=org/overture/cgc/extast/analysis/**/*.*:org/overture/codegen/vdm2c/extast/expressions/**/*:org/overture/codegen/vdm2c/extast/declarations/**/*:org/overture/codegen/vdm2c/extast/statements/**/*:org/overture/cgc/extast/node/**/*:org/overture/codegen/vdm2c/ast/preview/**/*
[INFO]
[INFO] --- exec-maven-plugin:1.5.0:exec (git submodule update) @ root ---
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.pom (11 KB at 565.1 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/35/commons-parent-35.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/35/commons-parent-35.pom (57 KB at 2686.6 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/15/apache-15.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/15/apache-15.pom (15 KB at 576.2 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.jar (54 KB at 1832.7 KB/sec)
Submodule 'c/third_party/googletest' (https://github.com/google/googletest.git) registered for path 'c/third_party/googletest'
Cloning into 'c/third_party/googletest'...
Submodule path 'c/third_party/googletest': checked out '0a439623f75c029912728d80cb7f1b8b48739ca4'
[INFO]
[INFO] --- maven-source-plugin:2.1.2:jar-no-fork (attach-sources) @ root ---
[INFO]
[INFO] --- maven-javadoc-plugin:2.7:jar (attach-javadocs) @ root ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO]
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ root ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-release/target/checkout/target/coverage-reports/jacoco-unit.exec
[INFO]
[INFO] --- maven-gpg-plugin:1.1:sign (sign-artifacts) @ root ---
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ root ---
[INFO] Installing /var/lib/jenkins/workspace/vdm2c-release/target/checkout/pom.xml to /var/lib/jenkins/workspace/vdm2c-release/repository/org/overturetool/vdm2c/root/0.0.6/root-0.0.6.pom
[INFO] Installing /var/lib/jenkins/workspace/vdm2c-release/target/checkout/target/root-0.0.6.pom.asc to /var/lib/jenkins/workspace/vdm2c-release/repository/org/overturetool/vdm2c/root/0.0.6/root-0.0.6.pom.asc
[INFO]
[INFO] --- maven-deploy-plugin:2.8.1:deploy (default-deploy) @ root ---
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.15/plexus-utils-3.0.15.pom
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.15/plexus-utils-3.0.15.pom (4 KB at 122.9 KB/sec)
Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.15/plexus-utils-3.0.15.jar
Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.15/plexus-utils-3.0.15.jar (234 KB at 3333.6 KB/sec)
Uploading: http://overture.au.dk/artifactory/vdm2c/org/overturetool/vdm2c/root/0.0.6/root-0.0.6.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] Overture VDM 2 C Translator Root .................. FAILURE [4.466s]
[INFO] C native root vdm2c ............................... SKIPPED
[INFO] The C Code Generator VDM library sources .......... SKIPPED
[INFO] Core Tools for vdm2c .............................. SKIPPED
[INFO] The C Code Generator .............................. SKIPPED
[INFO] Overture FMI IDE Top-level ........................ SKIPPED
[INFO] The C Code Generator Plugin ....................... SKIPPED
[INFO] Overture IDE Eclipse VDM2C features ............... SKIPPED
[INFO] Overture IDE Eclipse C Code Generator feature ..... SKIPPED
[INFO] Overture IDE Eclipse repository ................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 34.250s
[INFO] Finished at: Tue Sep 27 13:48:53 CEST 2016
[INFO] Final Memory: 74M/470M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-deploy-plugin:2.8.1:deploy (default-deploy) on project root: Failed to deploy artifacts: Could not transfer artifact org.overturetool.vdm2c:root:pom:0.0.6 from/to overture.au.dk (http://overture.au.dk/artifactory/vdm2c): Access denied to: http://overture.au.dk/artifactory/vdm2c/org/overturetool/vdm2c/root/0.0.6/root-0.0.6.pom, ReasonPhrase: Forbidden. -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] Overture VDM 2 C Translator Root .................. FAILURE [37.302s]
[INFO] C native root vdm2c ............................... SKIPPED
[INFO] The C Code Generator VDM library sources .......... SKIPPED
[INFO] Core Tools for vdm2c .............................. SKIPPED
[INFO] The C Code Generator .............................. SKIPPED
[INFO] Overture FMI IDE Top-level ........................ SKIPPED
[INFO] The C Code Generator Plugin ....................... SKIPPED
[INFO] Overture IDE Eclipse VDM2C features ............... SKIPPED
[INFO] Overture IDE Eclipse C Code Generator feature ..... SKIPPED
[INFO] Overture IDE Eclipse repository ................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 1:50.566s
[INFO] Finished at: Tue Sep 27 13:48:53 CEST 2016
[INFO] Final Memory: 80M/714M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-release-plugin:2.5:perform (default-cli) on project root: Maven execution failed, exit code: '1' -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoExecutionException
Build step 'Execute shell' marked build as failure
SSH: Current build result is [FAILURE], not going to run.
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
Finished: FAILURE
![[Jenkins]](/jenkins/static/5176c98d/images/jenkins-header-logo-v2.svg){kind=logo}
