FailedConsole Output

Skipping 80 KB.. Full Log
ttings/2.0/maven-settings-2.0.pom (2 KB at 84.2 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-parameter-documenter/2.0/maven-plugin-parameter-documenter-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-parameter-documenter/2.0/maven-plugin-parameter-documenter-2.0.pom (2 KB at 87.7 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-api/2.0/maven-reporting-api-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-api/2.0/maven-reporting-api-2.0.pom (2 KB at 77.4 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting/2.0/maven-reporting-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting/2.0/maven-reporting-2.0.pom (504 B at 35.2 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/doxia/doxia-sink-api/1.0-alpha-4/doxia-sink-api-1.0-alpha-4.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/doxia/doxia-sink-api/1.0-alpha-4/doxia-sink-api-1.0-alpha-4.pom (2 KB at 88.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-error-diagnostics/2.0/maven-error-diagnostics-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-error-diagnostics/2.0/maven-error-diagnostics-2.0.pom (812 B at 46.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-registry/2.0/maven-plugin-registry-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-registry/2.0/maven-plugin-registry-2.0.pom (2 KB at 89.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/2.0/maven-plugin-api-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-api/2.0/maven-plugin-api-2.0.pom (601 B at 39.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-descriptor/2.0/maven-plugin-descriptor-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-plugin-descriptor/2.0/maven-plugin-descriptor-2.0.pom (2 KB at 95.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-monitor/2.0/maven-monitor-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-monitor/2.0/maven-monitor-2.0.pom (400 B at 24.4 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.2/plexus-utils-1.2.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.2/plexus-utils-1.2.pom (767 B at 49.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/1.0.5/plexus-1.0.5.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/1.0.5/plexus-1.0.5.pom (6 KB at 483.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/2.3/maven-archiver-2.3.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-invoker/2.0.9/maven-invoker-2.0.9.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.0/doxia-sink-api-1.0.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.0/doxia-site-renderer-1.0.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.0/doxia-core-1.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-invoker/2.0.9/maven-invoker-2.0.9.jar (28 KB at 1972.8 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.0/doxia-decoration-model-1.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/2.3/maven-archiver-2.3.jar (18 KB at 1019.2 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-apt/1.0/doxia-module-apt-1.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.0/doxia-sink-api-1.0.jar (10 KB at 655.8 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.0/doxia-module-fml-1.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-site-renderer/1.0/doxia-site-renderer-1.0.jar (46 KB at 2390.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xdoc/1.0/doxia-module-xdoc-1.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-core/1.0/doxia-core-1.0.jar (54 KB at 3353.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.0/doxia-module-xhtml-1.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-decoration-model/1.0/doxia-decoration-model-1.0.jar (48 KB at 3679.8 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/commons-logging/commons-logging/1.1.1/commons-logging-1.1.1.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-fml/1.0/doxia-module-fml-1.0.jar (19 KB at 1293.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.14/log4j-1.2.14.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-apt/1.0/doxia-module-apt-1.0.jar (46 KB at 2554.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.9.2/qdox-1.9.2.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xdoc/1.0/doxia-module-xdoc-1.0.jar (28 KB at 1809.7 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/1.0-alpha-9/plexus-archiver-1.0-alpha-9.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-logging/commons-logging/1.1.1/commons-logging-1.1.1.jar (60 KB at 3950.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/1.0-alpha-1/plexus-io-1.0-alpha-1.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-module-xhtml/1.0/doxia-module-xhtml-1.0.jar (22 KB at 1252.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-plugin-testing-harness/1.1/maven-plugin-testing-harness-1.1.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/com/thoughtworks/qdox/qdox/1.9.2/qdox-1.9.2.jar (167 KB at 9769.2 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/1.0-alpha-9/plexus-archiver-1.0-alpha-9.jar (154 KB at 10226.0 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-plugin-testing-harness/1.1/maven-plugin-testing-harness-1.1.jar (32 KB at 2441.1 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/1.0-alpha-1/plexus-io-1.0-alpha-1.jar (12 KB at 796.2 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.14/log4j-1.2.14.jar (359 KB at 13290.1 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) @ root ---
    [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-release/target/coverage-reports/jacoco-unit.exec
    [INFO] 
    [INFO] --- maven-gpg-plugin:1.1:sign (sign-artifacts) @ root ---
    [INFO]                                                                         
    [INFO] ------------------------------------------------------------------------
    [INFO] Building C native root vdm2c 0.0.6
    [INFO] ------------------------------------------------------------------------
    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 752.2 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 2514.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 2739.7 KB/sec)
    [INFO] 
    [INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ c ---
    [INFO] 
    [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ c ---
    [INFO] 
    [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ c ---
    [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/c/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 (run-lib-tests) @ c ---
    Downloading: http://overture.au.dk/artifactory/remote-repos/junit/junit/4.12/junit-4.12.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/junit/junit/4.12/junit-4.12.pom (24 KB at 1926.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.pom (766 B at 68.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/hamcrest/hamcrest-parent/1.3/hamcrest-parent-1.3.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/hamcrest/hamcrest-parent/1.3/hamcrest-parent-1.3.pom (2 KB at 175.1 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 286.2 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 1174.5 KB/sec)
    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 715.8 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 4339.8 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 998.8 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/3.0.20/plexus-utils-3.0.20.jar
    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/codehaus/plexus/plexus-utils/3.0.20/plexus-utils-3.0.20.jar (238 KB at 13190.5 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-exec/1.3/commons-exec-1.3.jar (54 KB at 2530.8 KB/sec)
    -- The C compiler identification is GNU 4.8.4
    -- The CXX compiler identification is GNU 4.8.4
    -- Check for working C compiler: /usr/bin/cc
    -- Check for working C compiler: /usr/bin/cc -- works
    -- Detecting C compiler ABI info
    -- Detecting C compiler ABI info - done
    -- Check for working CXX compiler: /usr/bin/c++
    -- Check for working CXX compiler: /usr/bin/c++ -- works
    -- Detecting CXX compiler ABI info
    -- Detecting CXX compiler ABI info - done
    -- Found PythonInterp: /usr/bin/python (found version "2.7.6") 
    -- Looking for include file pthread.h
    -- Looking for include file pthread.h - found
    -- Looking for pthread_create
    -- Looking for pthread_create - not found
    -- Looking for pthread_create in pthreads
    -- Looking for pthread_create in pthreads - not found
    -- Looking for pthread_create in pthread
    -- Looking for pthread_create in pthread - found
    -- Found Threads: TRUE  
    -- Found PkgConfig: /usr/bin/pkg-config (found version "0.26") 
    -- checking for module 'glib-2.0>=2.36.0'
    --   found glib-2.0, version 2.40.2
    -- Performing Test COMPILER_SUPPORTS_CXX11
    -- Performing Test COMPILER_SUPPORTS_CXX11 - Success
    -- Performing Test COMPILER_SUPPORTS_CXX0X
    -- Performing Test COMPILER_SUPPORTS_CXX0X - Success
    -- Configuring done
    -- Generating done
    -- Build files have been written to: /var/lib/jenkins/workspace/vdm2c-release/c
    Running main() from gtest_main.cc
    [==========] Running 121 tests from 22 test cases.
    [----------] Global test environment set-up.
    [----------] 2 tests from ClassPrivateCallABC
    [ RUN      ] ClassPrivateCallABC.A_sum
    calculation calc is 5.000000
    calculation sum is 4
    [       OK ] ClassPrivateCallABC.A_sum (0 ms)
    [ RUN      ] ClassPrivateCallABC.B
    calculation B->A CLASS_A_calc is 5.000000
    calculation B->A CLASS_A_sum is 9.000000
    calculation B->C CLASS_C_getField1 is 12.340000
    calculation B->B CLASS_B_sum2 is 9.000000
    [       OK ] ClassPrivateCallABC.B (0 ms)
    [----------] 2 tests from ClassPrivateCallABC (0 ms total)
    
    [----------] 2 tests from ClassPrivateFieldABC
    [ RUN      ] ClassPrivateFieldABC.A_sum
    [       OK ] ClassPrivateFieldABC.A_sum (0 ms)
    [ RUN      ] ClassPrivateFieldABC.B_sum
    [       OK ] ClassPrivateFieldABC.B_sum (0 ms)
    [----------] 2 tests from ClassPrivateFieldABC (0 ms total)
    
    [----------] 6 tests from ClassBTest
    [ RUN      ] ClassBTest._new
    [       OK ] ClassBTest._new (0 ms)
    [ RUN      ] ClassBTest.calc
    calculation calc is 5.000000
    [       OK ] ClassBTest.calc (0 ms)
    [ RUN      ] ClassBTest.sum
    calculation sum is 9.000000
    [       OK ] ClassBTest.sum (0 ms)
    [ RUN      ] ClassBTest.field1
    check field1 of A is 9
    [       OK ] ClassBTest.field1 (0 ms)
    [ RUN      ] ClassBTest.field1c
    check field1c of C is 99.990000
    [       OK ] ClassBTest.field1c (0 ms)
    [ RUN      ] ClassBTest.ctor
    check field1c of C is 99.990000
    [       OK ] ClassBTest.ctor (0 ms)
    [----------] 6 tests from ClassBTest (0 ms total)
    
    [----------] 14 tests from Expression_SetRandom
    [ RUN      ] Expression_SetRandom.setComprehension
    [       OK ] Expression_SetRandom.setComprehension (0 ms)
    [ RUN      ] Expression_SetRandom.setInSet
    [       OK ] Expression_SetRandom.setInSet (0 ms)
    [ RUN      ] Expression_SetRandom.setNotInSet
    [       OK ] Expression_SetRandom.setNotInSet (0 ms)
    [ RUN      ] Expression_SetRandom.setUnion
    [       OK ] Expression_SetRandom.setUnion (3 ms)
    [ RUN      ] Expression_SetRandom.setIntersection
    [       OK ] Expression_SetRandom.setIntersection (2 ms)
    [ RUN      ] Expression_SetRandom.setDifference
    [       OK ] Expression_SetRandom.setDifference (1 ms)
    [ RUN      ] Expression_SetRandom.setSubset
    [       OK ] Expression_SetRandom.setSubset (2 ms)
    [ RUN      ] Expression_SetRandom.setProperSubset
    [       OK ] Expression_SetRandom.setProperSubset (0 ms)
    [ RUN      ] Expression_SetRandom.setEquality
    [       OK ] Expression_SetRandom.setEquality (0 ms)
    [ RUN      ] Expression_SetRandom.setInequality
    [       OK ] Expression_SetRandom.setInequality (1 ms)
    [ RUN      ] Expression_SetRandom.setCard
    [       OK ] Expression_SetRandom.setCard (0 ms)
    [ RUN      ] Expression_SetRandom.setDunion
    [       OK ] Expression_SetRandom.setDunion (24 ms)
    [ RUN      ] Expression_SetRandom.setDinter
    [       OK ] Expression_SetRandom.setDinter (0 ms)
    [ RUN      ] Expression_SetRandom.setPower
    [       OK ] Expression_SetRandom.setPower (1 ms)
    [----------] 14 tests from Expression_SetRandom (35 ms total)
    
    [----------] 1 test from KK
    [ RUN      ] KK.offsetTest
    [       OK ] KK.offsetTest (0 ms)
    [----------] 1 test from KK (0 ms total)
    
    [----------] 10 tests from Expression_Seq
    [ RUN      ] Expression_Seq.seqHd
    [       OK ] Expression_Seq.seqHd (0 ms)
    [ RUN      ] Expression_Seq.seqTl
    [       OK ] Expression_Seq.seqTl (0 ms)
    [ RUN      ] Expression_Seq.seqLen
    [       OK ] Expression_Seq.seqLen (0 ms)
    [ RUN      ] Expression_Seq.seqElems
    [       OK ] Expression_Seq.seqElems (0 ms)
    [ RUN      ] Expression_Seq.seqInds
    [       OK ] Expression_Seq.seqInds (0 ms)
    [ RUN      ] Expression_Seq.seqConc
    [       OK ] Expression_Seq.seqConc (0 ms)
    [ RUN      ] Expression_Seq.seqReverse
    [       OK ] Expression_Seq.seqReverse (0 ms)
    [ RUN      ] Expression_Seq.seqIndex
    [       OK ] Expression_Seq.seqIndex (0 ms)
    [ RUN      ] Expression_Seq.seqEqual
    [       OK ] Expression_Seq.seqEqual (0 ms)
    [ RUN      ] Expression_Seq.seqInEqual
    [       OK ] Expression_Seq.seqInEqual (0 ms)
    [----------] 10 tests from Expression_Seq (0 ms total)
    
    [----------] 1 test from Statements
    [ RUN      ] Statements.recordR1
    [       OK ] Statements.recordR1 (0 ms)
    [----------] 1 test from Statements (0 ms total)
    
    [----------] 13 tests from Expression_Map
    [ RUN      ] Expression_Map.mapApply
    [       OK ] Expression_Map.mapApply (0 ms)
    [ RUN      ] Expression_Map.mapDom
    [       OK ] Expression_Map.mapDom (0 ms)
    [ RUN      ] Expression_Map.mapRng
    [       OK ] Expression_Map.mapRng (0 ms)
    [ RUN      ] Expression_Map.mapMunion
    [       OK ] Expression_Map.mapMunion (0 ms)
    [ RUN      ] Expression_Map.mapOverride
    [       OK ] Expression_Map.mapOverride (0 ms)
    [ RUN      ] Expression_Map.mapMerge
    [       OK ] Expression_Map.mapMerge (0 ms)
    [ RUN      ] Expression_Map.mapDomRestrictTo
    [       OK ] Expression_Map.mapDomRestrictTo (0 ms)
    [ RUN      ] Expression_Map.mapDomRestrictBy
    [       OK ] Expression_Map.mapDomRestrictBy (0 ms)
    [ RUN      ] Expression_Map.mapRngRestrictTo
    [       OK ] Expression_Map.mapRngRestrictTo (0 ms)
    [ RUN      ] Expression_Map.mapRngRestrictBy
    [       OK ] Expression_Map.mapRngRestrictBy (0 ms)
    [ RUN      ] Expression_Map.mapInverse
    [       OK ] Expression_Map.mapInverse (0 ms)
    [ RUN      ] Expression_Map.mapEquals
    [       OK ] Expression_Map.mapEquals (0 ms)
    [ RUN      ] Expression_Map.mapInEquals
    [       OK ] Expression_Map.mapInEquals (0 ms)
    [----------] 13 tests from Expression_Map (0 ms total)
    
    [----------] 2 tests from A
    [ RUN      ] A.A_sum
    [       OK ] A.A_sum (0 ms)
    [ RUN      ] A._new
    calculation calc is 5.000000
    calculation sum is 4
    [       OK ] A._new (0 ms)
    [----------] 2 tests from A (1 ms total)
    
    [----------] 6 tests from B
    [ RUN      ] B.B_sum
    [       OK ] B.B_sum (0 ms)
    [ RUN      ] B.fieldTestAsA
    check field1 of B as A is 4
    check field1c of B as C is 12.340000
    check field2 of B as B is 5
    [       OK ] B.fieldTestAsA (0 ms)
    [ RUN      ] B.testBFieldSet
    check field1 of B as A is 9
    check field1 of B as A is 0
    check field2 of B as B is 99
    check field1c of B as C is 99.990000
    [       OK ] B.testBFieldSet (0 ms)
    [ RUN      ] B._new
    calculation B->A CLASS_A_calc is 5.000000
    calculation B->A CLASS_A_sum is 9.000000
    calculation B->B CLASS_B_sum2 is 9.000000
    [       OK ] B._new (0 ms)
    [ RUN      ] B._newAsA
    calculation B->A CLASS_A_calc is 5.000000
    calculation B->A CLASS_A_sum is 9.000000
    [       OK ] B._newAsA (0 ms)
    [ RUN      ] B._newAsC
    calculation field1c is 12.340000
    [       OK ] B._newAsC (0 ms)
    [----------] 6 tests from B (0 ms total)
    
    [----------] 8 tests from Expression_Boolean
    [ RUN      ] Expression_Boolean.notExp
    [       OK ] Expression_Boolean.notExp (0 ms)
    [ RUN      ] Expression_Boolean.andExp
    [       OK ] Expression_Boolean.andExp (0 ms)
    [ RUN      ] Expression_Boolean.orExp
    [       OK ] Expression_Boolean.orExp (0 ms)
    [ RUN      ] Expression_Boolean.xorExp
    [       OK ] Expression_Boolean.xorExp (0 ms)
    [ RUN      ] Expression_Boolean.implicationExp
    [       OK ] Expression_Boolean.implicationExp (0 ms)
    [ RUN      ] Expression_Boolean.biimplicationExp
    [       OK ] Expression_Boolean.biimplicationExp (0 ms)
    [ RUN      ] Expression_Boolean.equalityExp
    [       OK ] Expression_Boolean.equalityExp (0 ms)
    [ RUN      ] Expression_Boolean.inequalityExp
    [       OK ] Expression_Boolean.inequalityExp (0 ms)
    [----------] 8 tests from Expression_Boolean (0 ms total)
    
    [----------] 1 test from C
    [ RUN      ] C._new
    getfield1c is 12.340000
    [       OK ] C._new (0 ms)
    [----------] 1 test from C (0 ms total)
    
    [----------] 18 tests from Expression_Set
    [ RUN      ] Expression_Set.setGrow
    [       OK ] Expression_Set.setGrow (0 ms)
    [ RUN      ] Expression_Set.setFit
    [       OK ] Expression_Set.setFit (0 ms)
    [ RUN      ] Expression_Set.setEnumerateSetOfInts
    [       OK ] Expression_Set.setEnumerateSetOfInts (0 ms)
    [ RUN      ] Expression_Set.setElementAt
    [       OK ] Expression_Set.setElementAt (0 ms)
    [ RUN      ] Expression_Set.setComprehension
    [       OK ] Expression_Set.setComprehension (0 ms)
    [ RUN      ] Expression_Set.setInSet
    [       OK ] Expression_Set.setInSet (0 ms)
    [ RUN      ] Expression_Set.setNotInSet
    [       OK ] Expression_Set.setNotInSet (0 ms)
    [ RUN      ] Expression_Set.setUnion
    [       OK ] Expression_Set.setUnion (2 ms)
    [ RUN      ] Expression_Set.setIntersection
    [       OK ] Expression_Set.setIntersection (0 ms)
    [ RUN      ] Expression_Set.setDifference
    [       OK ] Expression_Set.setDifference (0 ms)
    [ RUN      ] Expression_Set.setSubset
    [       OK ] Expression_Set.setSubset (1 ms)
    [ RUN      ] Expression_Set.setProperSubset
    [       OK ] Expression_Set.setProperSubset (0 ms)
    [ RUN      ] Expression_Set.setEquality
    [       OK ] Expression_Set.setEquality (1 ms)
    [ RUN      ] Expression_Set.setInequality
    [       OK ] Expression_Set.setInequality (0 ms)
    [ RUN      ] Expression_Set.setCard
    [       OK ] Expression_Set.setCard (0 ms)
    [ RUN      ] Expression_Set.setDunion
    [       OK ] Expression_Set.setDunion (21 ms)
    [ RUN      ] Expression_Set.setDinter
    [       OK ] Expression_Set.setDinter (0 ms)
    [ RUN      ] Expression_Set.setPower
    [       OK ] Expression_Set.setPower (0 ms)
    [----------] 18 tests from Expression_Set (26 ms total)
    
    [----------] 4 tests from ClassATest
    [ RUN      ] ClassATest._new
    [       OK ] ClassATest._new (0 ms)
    [ RUN      ] ClassATest.calc
    calculation calc is 5.000000
    [       OK ] ClassATest.calc (0 ms)
    [ RUN      ] ClassATest.sum
    calculation sum is 4
    [       OK ] ClassATest.sum (0 ms)
    [ RUN      ] ClassATest.field1
    check field1 of A is 9
    [       OK ] ClassATest.field1 (0 ms)
    [----------] 4 tests from ClassATest (0 ms total)
    
    [----------] 19 tests from Expression_Numeric
    [ RUN      ] Expression_Numeric.minusExp
    [       OK ] Expression_Numeric.minusExp (0 ms)
    [ RUN      ] Expression_Numeric.absExp
    [       OK ] Expression_Numeric.absExp (0 ms)
    [ RUN      ] Expression_Numeric.floorExp
    [       OK ] Expression_Numeric.floorExp (0 ms)
    [ RUN      ] Expression_Numeric.sumExp
    [       OK ] Expression_Numeric.sumExp (0 ms)
    [ RUN      ] Expression_Numeric.differenceExp
    [       OK ] Expression_Numeric.differenceExp (0 ms)
    [ RUN      ] Expression_Numeric.productExp
    [       OK ] Expression_Numeric.productExp (0 ms)
    [ RUN      ] Expression_Numeric.divisionExp
    [       OK ] Expression_Numeric.divisionExp (0 ms)
    [ RUN      ] Expression_Numeric.divExp
    [       OK ] Expression_Numeric.divExp (0 ms)
    [ RUN      ] Expression_Numeric.remExp
    [       OK ] Expression_Numeric.remExp (0 ms)
    [ RUN      ] Expression_Numeric.modExp
    [       OK ] Expression_Numeric.modExp (0 ms)
    [ RUN      ] Expression_Numeric.powerExp
    [       OK ] Expression_Numeric.powerExp (0 ms)
    [ RUN      ] Expression_Numeric.equalExp
    [       OK ] Expression_Numeric.equalExp (0 ms)
    [ RUN      ] Expression_Numeric.notEqualExp
    [       OK ] Expression_Numeric.notEqualExp (0 ms)
    [ RUN      ] Expression_Numeric.greaterExp
    [       OK ] Expression_Numeric.greaterExp (0 ms)
    [ RUN      ] Expression_Numeric.greaterOrEqualExp1
    [       OK ] Expression_Numeric.greaterOrEqualExp1 (0 ms)
    [ RUN      ] Expression_Numeric.greaterOrEqualExp2
    [       OK ] Expression_Numeric.greaterOrEqualExp2 (0 ms)
    [ RUN      ] Expression_Numeric.lessExp
    [       OK ] Expression_Numeric.lessExp (0 ms)
    [ RUN      ] Expression_Numeric.lessOrEqualExp1
    [       OK ] Expression_Numeric.lessOrEqualExp1 (0 ms)
    [ RUN      ] Expression_Numeric.lessOrEqualExp2
    [       OK ] Expression_Numeric.lessOrEqualExp2 (0 ms)
    [----------] 19 tests from Expression_Numeric (0 ms total)
    
    [----------] 2 tests from ClassCTest
    [ RUN      ] ClassCTest._new
    [       OK ] ClassCTest._new (0 ms)
    [ RUN      ] ClassCTest.field1c
    check field1c of C is 99.990000
    [       OK ] ClassCTest.field1c (0 ms)
    [----------] 2 tests from ClassCTest (1 ms total)
    
    [----------] 1 test from ClassIO
    [ RUN      ] ClassIO.print
    abcabcd
    [a, 33, c, d]
    1234
    -1234
    true
    false
    z
    12.340000
    {1, 2}
    1234
    -1234
    true
    false
    z
    12.340000
    {1, 2}
    {{3, 4}, {b, z}}
    [{3, 4}, [b, z]]
    [       OK ] ClassIO.print (0 ms)
    [----------] 1 test from ClassIO (0 ms total)
    
    [----------] 1 test from ExpressionProduct
    [ RUN      ] ExpressionProduct.productExp
    [       OK ] ExpressionProduct.productExp (0 ms)
    [----------] 1 test from ExpressionProduct (0 ms total)
    
    [----------] 1 test from TypeofTest
    [ RUN      ] TypeofTest.test1
    A = A: true
    A = B: false
    A = B: false
    A = A: true
    C = A: false
    C = C: true
    C = B: false
    B = B: true
    [       OK ] TypeofTest.test1 (0 ms)
    [----------] 1 test from TypeofTest (0 ms total)
    
    [----------] 2 tests from ExpressionForLoop
    [ RUN      ] ExpressionForLoop.forindex
    [       OK ] ExpressionForLoop.forindex (0 ms)
    [ RUN      ] ExpressionForLoop.forset
    [       OK ] ExpressionForLoop.forset (0 ms)
    [----------] 2 tests from ExpressionForLoop (0 ms total)
    
    [----------] 6 tests from Expression
    [ RUN      ] Expression.letIdentifierExp
    [       OK ] Expression.letIdentifierExp (0 ms)
    [ RUN      ] Expression.letIdentifierDontExp
    [       OK ] Expression.letIdentifierDontExp (0 ms)
    [ RUN      ] Expression.letPatternMatch1
    [       OK ] Expression.letPatternMatch1 (0 ms)
    [ RUN      ] Expression.letPatternMatch3
    [       OK ] Expression.letPatternMatch3 (0 ms)
    [ RUN      ] Expression.letFilter1Exp
    [       OK ] Expression.letFilter1Exp (1 ms)
        [ RUN      ] Expression.ifExp
Pattern match error
    [       OK ] Expression.ifExp (0 ms)
    [----------] 6 tests from Expression (1 ms total)
    
    [----------] 1 test from PrettyPrint
    [ RUN      ] PrettyPrint.print
    [       OK ] PrettyPrint.print (0 ms)
    [----------] 1 test from PrettyPrint (0 ms total)
    
    [----------] Global test environment tear-down
    [==========] 121 tests from 22 test cases ran. (69 ms total)
    [  PASSED  ] 121 tests.
    [INFO] 
    [INFO] --- maven-source-plugin:2.1.2:jar-no-fork (attach-sources) @ c ---
    [INFO] 
    [INFO] --- maven-javadoc-plugin:2.7:jar (attach-javadocs) @ c ---
    [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) @ c ---
    [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/vdm2c-release/c/target/coverage-reports/jacoco-unit.exec
    [INFO] 
    [INFO] --- maven-gpg-plugin:1.1:sign (sign-artifacts) @ c ---
    [INFO]                                                                         
    [INFO] ------------------------------------------------------------------------
    [INFO] Building The C Code Generator VDM library sources 0.0.6
    [INFO] ------------------------------------------------------------------------
    [INFO] 
    [INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ vdmclib ---
    [INFO] 
    [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ vdmclib ---
    [INFO] 
    [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ vdmclib ---
    [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/c/vdmclib/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-resources-plugin:2.6:resources (default-resources) @ vdmclib ---
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.1/maven-filtering-1.1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.1/maven-filtering-1.1.pom (6 KB at 332.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/17/maven-shared-components-17.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-components/17/maven-shared-components-17.pom (9 KB at 646.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.12/plexus-interpolation-1.12.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.12/plexus-interpolation-1.12.pom (889 B at 66.8 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-build-api/0.0.4/plexus-build-api-0.0.4.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-build-api/0.0.4/plexus-build-api-0.0.4.pom (3 KB at 215.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/sonatype/spice/spice-parent/10/spice-parent-10.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/sonatype/spice/spice-parent/10/spice-parent-10.pom (3 KB at 210.3 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/3/forge-parent-3.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/sonatype/forge/forge-parent/3/forge-parent-3.pom (5 KB at 378.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-api/2.0.6/maven-reporting-api-2.0.6.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.0-alpha-7/doxia-sink-api-1.0-alpha-7.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.1/maven-filtering-1.1.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-build-api/0.0.4/plexus-build-api-0.0.4.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-api/2.0.6/maven-reporting-api-2.0.6.jar (10 KB at 510.9 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/doxia/doxia-sink-api/1.0-alpha-7/doxia-sink-api-1.0-alpha-7.jar (6 KB at 386.5 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/sonatype/plexus/plexus-build-api/0.0.4/plexus-build-api-0.0.4.jar (7 KB at 443.3 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-filtering/1.1/maven-filtering-1.1.jar (43 KB at 1754.0 KB/sec)
    [INFO] Using 'UTF-8' encoding to copy filtered resources.
    [INFO] Copying 57 resources to /var/lib/jenkins/workspace/vdm2c-release/c/vdmclib/target/classes/src
    [INFO] 
    [INFO] --- maven-compiler-plugin:3.0:compile (default-compile) @ vdmclib ---
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/0.1/maven-shared-utils-0.1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/0.1/maven-shared-utils-0.1.pom (4 KB at 282.3 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.pom (965 B at 78.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-incremental/1.0/maven-shared-incremental-1.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-incremental/1.0/maven-shared-incremental-1.0.pom (5 KB at 385.8 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.pom (815 B at 49.7 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-containers/1.5.5/plexus-containers-1.5.5.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-containers/1.5.5/plexus-containers-1.5.5.pom (5 KB at 345.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-api/2.0/plexus-compiler-api-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-api/2.0/plexus-compiler-api-2.0.pom (865 B at 65.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler/2.0/plexus-compiler-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler/2.0/plexus-compiler-2.0.pom (4 KB at 293.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.3/plexus-components-1.3.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.3/plexus-components-1.3.pom (3 KB at 212.7 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-manager/2.0/plexus-compiler-manager-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-manager/2.0/plexus-compiler-manager-2.0.pom (690 B at 51.8 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-javac/2.0/plexus-compiler-javac-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-javac/2.0/plexus-compiler-javac-2.0.pom (769 B at 53.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compilers/2.0/plexus-compilers-2.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compilers/2.0/plexus-compilers-2.0.pom (2 KB at 101.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-container-default/1.5.5/plexus-container-default-1.5.5.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-container-default/1.5.5/plexus-container-default-1.5.5.pom (3 KB at 224.2 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.2.2/plexus-classworlds-2.2.2.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-classworlds/2.2.2/plexus-classworlds-2.2.2.pom (4 KB at 358.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/xbean/xbean-reflect/3.4/xbean-reflect-3.4.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/xbean/xbean-reflect/3.4/xbean-reflect-3.4.pom (3 KB at 228.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/xbean/xbean/3.4/xbean-3.4.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/xbean/xbean/3.4/xbean-3.4.pom (18 KB at 1486.2 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.12/log4j-1.2.12.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.12/log4j-1.2.12.pom (145 B at 10.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/commons-logging/commons-logging-api/1.1/commons-logging-api-1.1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-logging/commons-logging-api/1.1/commons-logging-api-1.1.pom (6 KB at 474.7 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/com/google/collections/google-collections/1.0/google-collections-1.0.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/com/google/collections/google-collections/1.0/google-collections-1.0.pom (3 KB at 201.7 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/com/google/google/1/google-1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/com/google/google/1/google-1.pom (2 KB at 126.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.5.1/plexus-utils-1.5.1.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/0.1/maven-shared-utils-0.1.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-incremental/1.0/maven-shared-incremental-1.0.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/com/google/code/findbugs/jsr305/2.0.1/jsr305-2.0.1.jar (32 KB at 2222.8 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-api/2.0/plexus-compiler-api-2.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-utils/0.1/maven-shared-utils-0.1.jar (151 KB at 8876.3 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-manager/2.0/plexus-compiler-manager-2.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.5.1/plexus-utils-1.5.1.jar (206 KB at 11430.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-javac/2.0/plexus-compiler-javac-2.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/shared/maven-shared-incremental/1.0/maven-shared-incremental-1.0.jar (13 KB at 754.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/xbean/xbean-reflect/3.4/xbean-reflect-3.4.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.jar (5 KB at 205.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.12/log4j-1.2.12.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-javac/2.0/plexus-compiler-javac-2.0.jar (19 KB at 1536.4 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/commons-logging/commons-logging-api/1.1/commons-logging-api-1.1.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-api/2.0/plexus-compiler-api-2.0.jar (25 KB at 1742.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/com/google/collections/google-collections/1.0/google-collections-1.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/xbean/xbean-reflect/3.4/xbean-reflect-3.4.jar (131 KB at 7260.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/junit/junit/3.8.2/junit-3.8.2.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-compiler-manager/2.0/plexus-compiler-manager-2.0.jar (5 KB at 234.6 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-logging/commons-logging-api/1.1/commons-logging-api-1.1.jar (44 KB at 3629.4 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/log4j/log4j/1.2.12/log4j-1.2.12.jar (350 KB at 17484.6 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/junit/junit/3.8.2/junit-3.8.2.jar (118 KB at 7363.3 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/com/google/collections/google-collections/1.0/google-collections-1.0.jar (625 KB at 29742.9 KB/sec)
    [INFO] No sources to compile
    [INFO] 
    [INFO] --- maven-resources-plugin:2.6:testResources (default-testResources) @ vdmclib ---
    [INFO] Using 'UTF-8' encoding to copy filtered resources.
    [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/vdm2c-release/c/vdmclib/src/test/resources
    [INFO] 
    [INFO] --- maven-compiler-plugin:3.0:testCompile (default-testCompile) @ vdmclib ---
    [INFO] No sources to compile
    [INFO] 
    [INFO] --- maven-surefire-plugin:2.19:test (default-test) @ vdmclib ---
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/maven-surefire-common/2.19/maven-surefire-common-2.19.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/maven-surefire-common/2.19/maven-surefire-common-2.19.pom (8 KB at 511.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-annotations/3.3/maven-plugin-annotations-3.3.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-annotations/3.3/maven-plugin-annotations-3.3.pom (2 KB at 122.4 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools/3.3/maven-plugin-tools-3.3.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-tools/3.3/maven-plugin-tools-3.3.pom (13 KB at 588.2 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/24/maven-parent-24.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-parent/24/maven-parent-24.pom (37 KB at 2637.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/14/apache-14.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/apache/14/apache-14.pom (15 KB at 656.2 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-api/2.19/surefire-api-2.19.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-api/2.19/surefire-api-2.19.pom (4 KB at 244.7 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-booter/2.19/surefire-booter-2.19.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-booter/2.19/surefire-booter-2.19.pom (4 KB at 163.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-toolchain/2.2.1/maven-toolchain-2.2.1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-toolchain/2.2.1/maven-toolchain-2.2.1.pom (4 KB at 120.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-lang3/3.1/commons-lang3-3.1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-lang3/3.1/commons-lang3-3.1.pom (17 KB at 1165.7 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/22/commons-parent-22.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-parent/22/commons-parent-22.pom (41 KB at 2729.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/maven-surefire-common/2.19/maven-surefire-common-2.19.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-booter/2.19/surefire-booter-2.19.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.5.15/plexus-utils-1.5.15.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/junit/junit/4.12/junit-4.12.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/maven-surefire-common/2.19/maven-surefire-common-2.19.jar (286 KB at 12422.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-api/3.0/maven-reporting-api-3.0.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-booter/2.19/surefire-booter-2.19.jar (44 KB at 1814.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-lang3/3.1/commons-lang3-3.1.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-utils/1.5.15/plexus-utils-1.5.15.jar (223 KB at 8910.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-api/2.19/surefire-api-2.19.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar (44 KB at 2748.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-annotations/3.3/maven-plugin-annotations-3.3.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/junit/junit/4.12/junit-4.12.jar (308 KB at 12302.0 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/reporting/maven-reporting-api/3.0/maven-reporting-api-3.0.jar (11 KB at 712.2 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/commons/commons-lang3/3.1/commons-lang3-3.1.jar (309 KB at 15420.2 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/plugin-tools/maven-plugin-annotations/3.3/maven-plugin-annotations-3.3.jar (14 KB at 761.7 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/surefire/surefire-api/2.19/surefire-api-2.19.jar (191 KB at 7933.0 KB/sec)
    [INFO] No tests to run.
    [INFO] 
    [INFO] --- maven-jar-plugin:2.4:jar (default-jar) @ vdmclib ---
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/2.5/maven-archiver-2.5.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/2.5/maven-archiver-2.5.pom (5 KB at 295.4 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1/plexus-archiver-2.1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1/plexus-archiver-2.1.pom (3 KB at 228.6 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.2/plexus-io-2.0.2.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.2/plexus-io-2.0.2.pom (2 KB at 141.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.19/plexus-components-1.1.19.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-components/1.1.19/plexus-components-1.1.19.pom (3 KB at 188.2 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.0.1/plexus-3.0.1.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus/3.0.1/plexus-3.0.1.pom (19 KB at 1298.4 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.15/plexus-interpolation-1.15.pom
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.15/plexus-interpolation-1.15.pom (1018 B at 62.1 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/apache/maven/maven-archiver/2.5/maven-archiver-2.5.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-interpolation/1.15/plexus-interpolation-1.15.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-archiver/2.1/plexus-archiver-2.1.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/org/codehaus/plexus/plexus-io/2.0.2/plexus-io-2.0.2.jar
    Downloading: http://overture.au.dk/artifactory/remote-repos/commons-lang/commons-lang/2.1/commons-lang-2.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 1420.1 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 3937.1 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 9479.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 2473.9 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-lang/commons-lang/2.1/commons-lang-2.1.jar (203 KB at 8452.3 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 134.7 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 13294.2 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 226.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 701.4 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 1700.3 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 1065.9 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 283.6 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 129.1 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 1398.4 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 120.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 204.4 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/com/thoughtworks/qdox/qdox/1.12/qdox-1.12.jar (176 KB at 10324.0 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 10029.1 KB/sec)
    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 1596.4 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 3347.8 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 9784.6 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 883.6 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 617.9 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 21986.9 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 484.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 1030.6 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 141.6 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 67.3 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 793.2 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 346.4 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 262.5 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 83.2 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 58.8 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 134.0 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 490.6 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 79.1 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 902.5 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 3369.4 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 1093.9 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 3032.1 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 209.4 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 662.7 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 939.4 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 126.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 106.7 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 94.5 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 1959.2 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 845.9 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 4397.5 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 193.6 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 1094.3 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 55.5 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/ast/2.4.0/ast-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
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/overturetool/core/parser/2.4.0/parser-2.4.0.jar (117 KB at 5833.8 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 11052.7 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 15283.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 995.6 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 10939.3 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/ast/2.4.0/ast-2.4.0.jar (1323 KB at 24498.9 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/2.4/commons-io-2.4.jar (181 KB at 11300.0 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.jar
    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/overturetool/core/interpreter/2.4.0/interpreter-2.4.0.jar (716 KB at 14035.6 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/ctutils/2.4.0/ctutils-2.4.0.jar (10 KB at 712.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/overturetool/core/combinatorialtesting/ctruntime/2.4.0/ctruntime-2.4.0.jar (46 KB at 2663.0 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/apache/velocity/velocity/1.7/velocity-1.7.jar (439 KB at 18290.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/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar (596 KB at 18623.6 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-collections/commons-collections/3.2.1/commons-collections-3.2.1.jar (562 KB at 18730.1 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/org/overturetool/core/testframework/2.4.0/testframework-2.4.0.jar (37 KB at 2593.9 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/log4j/log4j/1.2.17/log4j-1.2.17.jar (479 KB at 19933.4 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/commons-cli/commons-cli/1.3/commons-cli-1.3.jar (52 KB at 3447.0 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 2082.1 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 647.1 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 29230.9 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 197.3 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 204.8 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 816.6 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 179.5 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 51.4 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 1016.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.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 1007.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 639.4 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 132.7 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 682.0 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 121.5 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 110.5 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 111.7 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 191.5 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 73.4 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 251.0 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 175.4 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 127.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 176.9 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 177.7 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 137.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.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 432.5 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 1071.5 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 1423.8 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 206.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.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 226.3 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 198.4 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 736.8 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 85.6 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 64.6 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 285.8 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 10.4 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 68.1 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 580.5 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 128.1 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 94.8 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 72.6 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 55.6 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 102.2 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 43.2 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 57.4 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 102.1 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 21.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 38.2 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 1210.4 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 133.9 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 85.4 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 206.5 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 127.3 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 89.1 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 135.7 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 170.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 195.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 104.1 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 153.2 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 693.6 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 101.2 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 101.1 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 154.4 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 152.2 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 107.5 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 10237.7 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 10025.7 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 12027.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.jar
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/stringtemplate/3.2.1/stringtemplate-3.2.1.jar (146 KB at 5582.4 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 22886.9 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/commons-io/commons-io/1.4/commons-io-1.4.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 1298.6 KB/sec)
    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/apache/maven/shared/maven-doxia-tools/1.0.1/maven-doxia-tools-1.0.1.jar (38 KB at 2681.7 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/plugins/maven-project-info-reports-plugin/2.1.1/maven-project-info-reports-plugin-2.1.1.jar (206 KB at 9342.5 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/commons-io/commons-io/1.4/commons-io-1.4.jar (107 KB at 7606.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 2583.0 KB/sec)
    Downloaded: http://overture.au.dk/artifactory/remote-repos/org/antlr/antlr/3.5/antlr-3.5.jar (1118 KB at 19961.5 KB/sec)
    Downloading: http://overture.au.dk/artifactory/remote-repos/commons-collections/commons-collections/3.1/commons-collections-3.1.jar
    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 463.2 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/jakarta-regexp/jakarta-regexp/1.4/jakarta-regexp-1.4.jar (28 KB at 1395.3 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/maven/wagon/wagon-ssh/1.0-beta-3/wagon-ssh-1.0-beta-3.jar (28 KB at 988.8 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/bcel/bcel/5.2/bcel-5.2.jar (521 KB at 12400.9 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 1473.4 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/com/jcraft/jsch/0.1.38/jsch-0.1.38.jar (174 KB at 9135.9 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/commons-collections/commons-collections/3.1/commons-collections-3.1.jar (547 KB at 16066.3 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/org/apache/maven/wagon/wagon-file/1.0-beta-3/wagon-file-1.0-beta-3.jar (10 KB at 705.8 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/org/apache/maven/wagon/wagon-http-shared/1.0-beta-3/wagon-http-shared-1.0-beta-3.jar (19 KB at 1437.8 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-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/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 2286.2 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 6827.9 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-manager-plexus/1.1/maven-scm-manager-plexus-1.1.jar (10 KB at 821.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-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-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-perforce/1.1/maven-scm-provider-perforce-1.1.jar (64 KB at 4550.1 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-starteam/1.1/maven-scm-provider-starteam-1.1.jar (68 KB at 4223.2 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-svnexe/1.1/maven-scm-provider-svnexe-1.1.jar (58 KB at 5217.1 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-svn-commons/1.1/maven-scm-provider-svn-commons-1.1.jar (37 KB at 2028.0 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 3600.8 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/scm/maven-scm-provider-cvsexe/1.1/maven-scm-provider-cvsexe-1.1.jar (26 KB at 1395.6 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/scm/maven-scm-provider-cvsjava/1.1/maven-scm-provider-cvsjava-1.1.jar (40 KB at 2311.9 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/doxia/doxia-core/1.0-alpha-11/doxia-core-1.0-alpha-11.jar (54 KB at 3335.0 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/doxia/doxia-module-xhtml/1.0-alpha-11/doxia-module-xhtml-1.0-alpha-11.jar (21 KB at 1398.3 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 601.7 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-module-apt/1.0-alpha-11/doxia-module-apt-1.0-alpha-11.jar (46 KB at 3512.5 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-decoration-model/1.0-alpha-11/doxia-decoration-model-1.0-alpha-11.jar (49 KB at 2431.1 KB/sec)
    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 936.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 2040.1 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 1677.1 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 11685.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.
    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 1 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 147.1 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 5693.1 KB/sec)
    
    -------------------------------------------------------
     T E S T S
    -------------------------------------------------------
    Running org.overture.codegen.vdm2c.NativeClassesTests
    Tests run: 24, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 84.656 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.002 sec - in org.overture.codegen.vdm2c.ExternalTests
    Running org.overture.codegen.vdm2c.NativeTests
    Tests run: 13, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 42.544 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 229.5 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 262.6 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 261.5 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 188.7 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 123.6 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 154.1 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 697.3 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 246.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 179.9 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 212.7 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 262.8 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 189.6 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 1928.6 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 1902.4 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 3754.5 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 8602.0 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 1130.6 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 87.9 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 1348.7 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 115.4 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 330.9 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 609.9 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 729.7 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 1230.7 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 186.5 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 122.5 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 213.4 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 276.0 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 464.4 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 12.0 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 12.5 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 11.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 419.4 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 734.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 11.6 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 45.5 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 350.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 509.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 825.3 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 215.3 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 11.8 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 250.3 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 797.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 427.0 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 861.9 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 908.0 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 1010.9 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 224.5 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 303.4 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 858.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 3213.6 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-site-renderer/1.4/doxia-site-renderer-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/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.jar
    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 911.8 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
    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 3455.8 KB/sec)
    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-logging-api/1.4/doxia-logging-api-1.4.jar (12 KB at 581.4 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 7319.6 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 1073.3 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 2638.5 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/xerces/xercesImpl/2.9.1/xercesImpl-2.9.1.jar (1201 KB at 29279.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/commons-digester/commons-digester/1.8/commons-digester-1.8.jar (141 KB at 8249.2 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/org/apache/velocity/velocity-tools/2.0/velocity-tools-2.0.jar (339 KB at 15384.4 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/commons-validator/commons-validator/1.3.1/commons-validator-1.3.1.jar (136 KB at 7538.8 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/commons-chain/commons-chain/1.1/commons-chain-1.1.jar (88 KB at 3515.7 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/sslext/sslext/1.2-0/sslext-1.2-0.jar (26 KB at 1505.9 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/dom4j/dom4j/1.1/dom4j-1.1.jar (447 KB at 20282.0 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/antlr/antlr/2.7.2/antlr-2.7.2.jar (350 KB at 17493.8 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-core/1.3.8/struts-core-1.3.8.jar (322 KB at 12847.5 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/org/apache/struts/struts-tiles/1.3.8/struts-tiles-1.3.8.jar (117 KB at 8988.4 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 8469.9 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/httpclient/4.2.3/httpclient-4.2.3.jar (423 KB at 21146.0 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/com/thoughtworks/qdox/qdox/1.12.1/qdox-1.12.1.jar (176 KB at 11706.9 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 11365.8 KB/sec)
    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)
    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/org/codehaus/plexus/plexus-io/2.4/plexus-io-2.4.jar (80 KB at 5268.1 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 23084.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.688s]
    [INFO] C native root vdm2c ............................... SUCCESS [10.386s]
    [INFO] The C Code Generator VDM library sources .......... SUCCESS [1.693s]
    [INFO] Core Tools for vdm2c .............................. SUCCESS [0.446s]
    [INFO] The C Code Generator .............................. SUCCESS [2:19.882s]
    [INFO] ------------------------------------------------------------------------
    [INFO] BUILD SUCCESS
    [INFO] ------------------------------------------------------------------------
    [INFO] Total time: 2:39.309s
    [INFO] Finished at: Mon Sep 26 16:13:14 CEST 2016
    [INFO] Final Memory: 43M/705M
    [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-1297970312.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-1612588469.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-1652635387.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:41.589s]
[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.013s
[INFO] Finished at: Mon Sep 26 16:13:15 CEST 2016
[INFO] Final Memory: 16M/212M
[INFO] ------------------------------------------------------------------------
The changes just done locally by 'release:prepare' do not change the IDE versions, so this will be fixed now
Warning: you are leaving 1 commit behind, not connected to
any of your branches:

  aaaa5f2 [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 aaaa5f2

HEAD is now at 07e55ae... [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 2451177] Bump ide/ to version 0.0.6
 7 files changed, 7 insertions(+), 7 deletions(-)
[detached HEAD 00d95a1] [maven-release-plugin] prepare release Release/0.0.6
 12 files changed, 13 insertions(+), 13 deletions(-)
Reset tag: Release/0.0.6 to here
Deleted tag 'Release/0.0.6' (was 1f7ecf1)

Release tag fixed

Now do the same change for HEAD with version 0.0.7-SNAPSHOT
Checkout the release tag as detached HEAD
HEAD is now at 00d95a1... [maven-release-plugin] prepare release Release/0.0.6
Pick last HEAD commit: [maven-release-plugin] prepare for next development iteration'
The previous cherry-pick is now empty, possibly due to conflict resolution.
If you wish to commit it anyway, use:

    git commit --allow-empty

Otherwise, please use 'git reset'
HEAD detached from 07e55ae
You are currently cherry-picking commit 00d95a1.

Untracked files:
	c/pom.xml.releaseBackup
	c/vdmclib/pom.xml.releaseBackup
	core/pom.xml.releaseBackup
	core/vdm2c/pom.xml.releaseBackup
	git-set-private-key.sh
	ide/pom.xml{}
	perform-release.sh
	pom.xml.releaseBackup
	release.properties
	ssh

nothing added to commit but untracked files present
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