SuccessConsole Output

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
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Top-level 3.0.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ ide ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/ide' for files matching the pattern '**/*.java' - excludes: core/**/*, ui/**/*, parsers/**/*, builders/**/*, debug/**/*, vdmsl/**/*, vdmpp/**/*, vdmrt/**/*, help/**/*, plugins/**/*, platform/**/*, features/**/*, product/**/*
[TASKS] Found 3 files to scan for tasks
Found 0 open tasks.
[TASKS] Computing warning deltas based on reference build #288
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ ide ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-development/ide/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ ide ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/ide/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ ide ---
[INFO] 0 archive(s) processed
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ ide ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ ide ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/ide/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/ide/3.0.3-SNAPSHOT/ide-3.0.3-SNAPSHOT.pom
[INFO] 'ide-3.0.3-SNAPSHOT.pom' will not be deployed due to the defined include-exclude patterns.
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
[INFO] Artifactory Build Info Recorder: Saving Build Info to '/var/lib/jenkins/workspace/overture-development/target/build-info.json'
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/platform/3.0.3-SNAPSHOT/platform-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/platform/3.0.3-SNAPSHOT/platform-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/platform/3.0.3-SNAPSHOT/platform-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/annotations/3.0.3-SNAPSHOT/annotations-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/annotations/provided/3.0.3-SNAPSHOT/provided-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/annotations/provided/3.0.3-SNAPSHOT/provided-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/annotations/provided/3.0.3-SNAPSHOT/provided-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/javagen/3.0.3-SNAPSHOT/javagen-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/javagen/3.0.3-SNAPSHOT/javagen-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/javagen/3.0.3-SNAPSHOT/javagen-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/externals/3.0.3-SNAPSHOT/externals-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/externals/3.0.3-SNAPSHOT/externals-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/testframework/3.0.3-SNAPSHOT/testframework-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/testframework/3.0.3-SNAPSHOT/testframework-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/testframework/3.0.3-SNAPSHOT/testframework-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml-runtime/3.0.3-SNAPSHOT/vdm2jml-runtime-3.0.3-SNAPSHOT-sources.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml-runtime/3.0.3-SNAPSHOT/vdm2jml-runtime-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml-runtime/3.0.3-SNAPSHOT/vdm2jml-runtime-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml-runtime/3.0.3-SNAPSHOT/vdm2jml-runtime-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/testing/framework/3.0.3-SNAPSHOT/framework-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/testing/framework/3.0.3-SNAPSHOT/framework-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/testing/framework/3.0.3-SNAPSHOT/framework-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/testing/3.0.3-SNAPSHOT/testing-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/codegen-plugin/3.0.3-SNAPSHOT/codegen-plugin-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/codegen-plugin/3.0.3-SNAPSHOT/codegen-plugin-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/codegen-plugin/3.0.3-SNAPSHOT/codegen-plugin-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/documentation/releasenotes/3.0.3-SNAPSHOT/releasenotes-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/documentation/releasenotes/3.0.3-SNAPSHOT/releasenotes-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml/3.0.3-SNAPSHOT/vdm2jml-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml/3.0.3-SNAPSHOT/vdm2jml-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml/3.0.3-SNAPSHOT/vdm2jml-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/npp/3.0.3-SNAPSHOT/npp-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/npp/3.0.3-SNAPSHOT/npp-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/npp/3.0.3-SNAPSHOT/npp-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/prettyprinting/3.0.3-SNAPSHOT/prettyprinting-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/documentation/3.0.3-SNAPSHOT/documentation-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/isagen/3.0.3-SNAPSHOT/isagen-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/isagen/3.0.3-SNAPSHOT/isagen-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/isagen/3.0.3-SNAPSHOT/isagen-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/3.0.3-SNAPSHOT/core-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/3.0.3-SNAPSHOT/codegen-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctutils/3.0.3-SNAPSHOT/ctutils-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctutils/3.0.3-SNAPSHOT/ctutils-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctutils/3.0.3-SNAPSHOT/ctutils-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/isapog/3.0.3-SNAPSHOT/isapog-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/isapog/3.0.3-SNAPSHOT/isapog-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/isapog/3.0.3-SNAPSHOT/isapog-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/typechecker/3.0.3-SNAPSHOT/typechecker-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/typechecker/3.0.3-SNAPSHOT/typechecker-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/typechecker/3.0.3-SNAPSHOT/typechecker-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/prettyprinting/prettyprinter/3.0.3-SNAPSHOT/prettyprinter-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/ast/3.0.3-SNAPSHOT/ast-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/ast/3.0.3-SNAPSHOT/ast-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/ast/3.0.3-SNAPSHOT/ast-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/ir/3.0.3-SNAPSHOT/ir-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/ir/3.0.3-SNAPSHOT/ir-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/ir/3.0.3-SNAPSHOT/ir-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/pog/3.0.3-SNAPSHOT/pog-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/commandlinetool/3.0.3-SNAPSHOT/commandlinetool-3.0.3-SNAPSHOT-jar-with-dependencies.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/commandlinetool/3.0.3-SNAPSHOT/commandlinetool-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/commandlinetool/3.0.3-SNAPSHOT/commandlinetool-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/annotations/examples/3.0.3-SNAPSHOT/examples-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/annotations/examples/3.0.3-SNAPSHOT/examples-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/annotations/examples/3.0.3-SNAPSHOT/examples-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/root/3.0.3-SNAPSHOT/root-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/parser/3.0.3-SNAPSHOT/parser-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/interpreter/3.0.3-SNAPSHOT/interpreter-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/interpreter/3.0.3-SNAPSHOT/interpreter-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/interpreter/3.0.3-SNAPSHOT/interpreter-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/javagen-test/3.0.3-SNAPSHOT/javagen-test-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/javagen-test/3.0.3-SNAPSHOT/javagen-test-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/javagen-test/3.0.3-SNAPSHOT/javagen-test-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/codegen-runtime/3.0.3-SNAPSHOT/codegen-runtime-3.0.3-SNAPSHOT-sources.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/codegen-runtime/3.0.3-SNAPSHOT/codegen-runtime-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/codegen-runtime/3.0.3-SNAPSHOT/codegen-runtime-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/codegen/codegen-runtime/3.0.3-SNAPSHOT/codegen-runtime-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctruntime/3.0.3-SNAPSHOT/ctruntime-3.0.3-SNAPSHOT.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctruntime/3.0.3-SNAPSHOT/ctruntime-3.0.3-SNAPSHOT-javadoc.jar
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctruntime/3.0.3-SNAPSHOT/ctruntime-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/combinatorialtesting/3.0.3-SNAPSHOT/combinatorialtesting-3.0.3-SNAPSHOT.pom
[INFO] Deploying artifact: https://overture.au.dk/artifactory/overture-development/org/overturetool/core/testing/samples/3.0.3-SNAPSHOT/samples-3.0.3-SNAPSHOT.jar
[INFO] Artifactory Build Info Recorder: Deploying build info ...
[INFO] Deploying build descriptor to: https://overture.au.dk/artifactory/api/build
[INFO] Build successfully deployed. Browse it in Artifactory under https://overture.au.dk/artifactory/webapp/builds/overture-development/289
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] The Overture Tool Platform root ................... SUCCESS [23.067s]
[INFO] Overture External Resources ....................... SUCCESS [8.161s]
[INFO] Core Tools ........................................ SUCCESS [2.725s]
[INFO] The Overture Abstract Syntax Tree ................. SUCCESS [35.969s]
[INFO] Test Framework for Overture ....................... SUCCESS [6.958s]
[INFO] The VDM parser .................................... SUCCESS [19.451s]
[INFO] The VDM Type Checker .............................. SUCCESS [1:20.111s]
[INFO] Overture Testing .................................. SUCCESS [1.732s]
[INFO] Overture Testing Framework ........................ SUCCESS [6.264s]
[INFO] Overture Sample Tests ............................. SUCCESS [48.688s]
[INFO] VDM Pretty Printing ............................... SUCCESS [1.376s]
[INFO] The VDM Pretty Printer ............................ SUCCESS [7.460s]
[INFO] The Proof Obligation Generator .................... SUCCESS [27.375s]
[INFO] The VDM Interpreter ............................... SUCCESS [1:22.666s]
[INFO] Combinatorial Testing ............................. SUCCESS [1.464s]
[INFO] Combinatorial Testing Utilities ................... SUCCESS [4.865s]
[INFO] Combinatorial Testing Runtime ..................... SUCCESS [29.923s]
[INFO] New Pretty Printer ................................ SUCCESS [8.997s]
[INFO] Overture Core Command Line Tool ................... SUCCESS [6.546s]
[INFO] Code Generation ................................... SUCCESS [1.681s]
[INFO] The Intermediate Representation Tree .............. SUCCESS [18.109s]
[INFO] The Code Generation Platform ...................... SUCCESS [1:22.687s]
[INFO] The Java Code Generator Runtime ................... SUCCESS [12.168s]
[INFO] The Java Code Generator Testing ................... SUCCESS [6.386s]
[INFO] The Java Code Generator ........................... SUCCESS [1:03.815s]
[INFO] The VDM to JML Generator Runtime .................. SUCCESS [4.468s]
[INFO] The VDM to JML Generator .......................... SUCCESS [37.520s]
[INFO] The Java Code Generator Maven Plugin .............. SUCCESS [18.588s]
[INFO] The VDM to Isabelle Translator .................... SUCCESS [19.114s]
[INFO] POG - Isagen Integration .......................... SUCCESS [9.139s]
[INFO] VDM Annotations ................................... SUCCESS [1.591s]
[INFO] Provided Annotations .............................. SUCCESS [6.939s]
[INFO] Annotation Examples ............................... SUCCESS [4.377s]
[INFO] Documentation ..................................... SUCCESS [1.274s]
[INFO] The Overture release notes ........................ SUCCESS [4.044s]
[INFO] Overture IDE Top-level ............................ SUCCESS [2.560s]
[INFO] org.overture.ide.core ............................. SUCCESS [9.338s]
[INFO] Overture IDE Builders ............................. SUCCESS [1.416s]
[INFO] org.overture.ide.builders.vdmj .................... SUCCESS [5.142s]
[INFO] org.overture.ide.ui ............................... SUCCESS [11.011s]
[INFO] Overture IDE Parsers .............................. SUCCESS [1.409s]
[INFO] org.overture.ide.parsers.vdmj ..................... SUCCESS [4.410s]
[INFO] org.overture.ide.debug ............................ SUCCESS [10.834s]
[INFO] Overture IDE VDM-SL top level ..................... SUCCESS [1.434s]
[INFO] org.overture.ide.vdmsl.core ....................... SUCCESS [6.253s]
[INFO] org.overture.ide.vdmsl.ui ......................... SUCCESS [4.872s]
[INFO] org.overture.ide.vdmsl.debug ...................... SUCCESS [5.310s]
[INFO] Overture IDE VDM-PP Top-level ..................... SUCCESS [1.658s]
[INFO] org.overture.ide.vdmpp.core ....................... SUCCESS [4.644s]
[INFO] org.overture.ide.vdmpp.ui ......................... SUCCESS [6.289s]
[INFO] org.overture.ide.vdmpp.debug ...................... SUCCESS [6.602s]
[INFO] Overture IDE VDM-RT (RealTime) Top-level .......... SUCCESS [1.411s]
[INFO] org.overture.ide.vdmrt.core ....................... SUCCESS [5.265s]
[INFO] org.overture.ide.vdmrt.ui ......................... SUCCESS [5.233s]
[INFO] org.overture.ide.vdmrt.debug ...................... SUCCESS [5.790s]
[INFO] org.overture.ide.help ............................. SUCCESS [20.063s]
[INFO] Overture IDE core plugins GUI ..................... SUCCESS [1.562s]
[INFO] org.overture.ide.plugins.externaleditor ........... SUCCESS [5.802s]
[INFO] org.overture.ide.plugins.coverageeditor ........... SUCCESS [8.457s]
[INFO] org.overture.ide.plugins.csk ...................... SUCCESS [5.764s]
[INFO] org.overture.ide.plugins.quickinterpreter ......... SUCCESS [5.367s]
[INFO] org.overture.ide.plugins.latex .................... SUCCESS [6.597s]
[INFO] org.overture.ide.plugins.poviewer ................. SUCCESS [8.232s]
[INFO] Combinatorial Testing ............................. SUCCESS [8.067s]
[INFO] Developer Utilities for Overture .................. SUCCESS [5.221s]
[INFO] UML2 Translator ................................... SUCCESS [9.231s]
[INFO] RT Trace Viewer Plugin ............................ SUCCESS [6.857s]
[INFO] The Java Code Generator Plugin .................... SUCCESS [9.874s]
[INFO] org.overture.ide.platform ......................... SUCCESS [12.997s]
[INFO] Overture IDE Eclipse features ..................... SUCCESS [1.474s]
[INFO] Overture IDE Eclipse core feature ................. SUCCESS [4.465s]
[INFO] Overture IDE Eclipse plugin features .............. SUCCESS [1.524s]
[INFO] Overture IDE Eclipse Coverage Editor feature ...... SUCCESS [5.818s]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature ... SUCCESS [4.562s]
[INFO] Overture IDE Eclipse Combinatorial Testing feature  SUCCESS [4.756s]
[INFO] Overture IDE Eclipse Developer Utilities feature .. SUCCESS [4.746s]
[INFO] Overture IDE Eclipse LaTeX Creator feature ........ SUCCESS [4.415s]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature  SUCCESS [4.415s]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature  SUCCESS [4.384s]
[INFO] Overture IDE Eclipse plugin uml2 feature .......... SUCCESS [4.402s]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature  SUCCESS [4.847s]
[INFO] Overture IDE Eclipse Java Code Generator feature .. SUCCESS [4.511s]
[INFO] Overture IDE Eclipse rcp feature .................. SUCCESS [16.895s]
[INFO] Overture IDE Standalone Product ................... SUCCESS [3:03.203s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 25:57.252s
[INFO] Finished at: Thu May 06 14:19:34 CEST 2021
[INFO] Final Memory: 268M/833M
[INFO] ------------------------------------------------------------------------
[WARNING] The requested profile "force-download-externals" could not be activated because it does not exist.
Waiting for Jenkins to finish collecting data