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 2.6.1-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 #199 [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/2.6.1-SNAPSHOT/ide-2.6.1-SNAPSHOT.pom 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: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/parser/2.6.1-SNAPSHOT/parser-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/parser/2.6.1-SNAPSHOT/parser-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/parser/2.6.1-SNAPSHOT/parser-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/root/2.6.1-SNAPSHOT/root-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/testing/2.6.1-SNAPSHOT/testing-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/codegen-plugin/2.6.1-SNAPSHOT/codegen-plugin-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/codegen-plugin/2.6.1-SNAPSHOT/codegen-plugin-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/codegen-plugin/2.6.1-SNAPSHOT/codegen-plugin-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/testing/framework/2.6.1-SNAPSHOT/framework-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/testing/framework/2.6.1-SNAPSHOT/framework-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/testing/framework/2.6.1-SNAPSHOT/framework-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/documentation/2.6.1-SNAPSHOT/documentation-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/javagen-test/2.6.1-SNAPSHOT/javagen-test-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/javagen-test/2.6.1-SNAPSHOT/javagen-test-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/javagen-test/2.6.1-SNAPSHOT/javagen-test-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml/2.6.1-SNAPSHOT/vdm2jml-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml/2.6.1-SNAPSHOT/vdm2jml-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml/2.6.1-SNAPSHOT/vdm2jml-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctutils/2.6.1-SNAPSHOT/ctutils-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctutils/2.6.1-SNAPSHOT/ctutils-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctutils/2.6.1-SNAPSHOT/ctutils-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/2.6.1-SNAPSHOT/codegen-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/documentation/releasenotes/2.6.1-SNAPSHOT/releasenotes-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/documentation/releasenotes/2.6.1-SNAPSHOT/releasenotes-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/interpreter/2.6.1-SNAPSHOT/interpreter-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/interpreter/2.6.1-SNAPSHOT/interpreter-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/interpreter/2.6.1-SNAPSHOT/interpreter-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/ir/2.6.1-SNAPSHOT/ir-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/ir/2.6.1-SNAPSHOT/ir-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/ir/2.6.1-SNAPSHOT/ir-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/ast/2.6.1-SNAPSHOT/ast-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/ast/2.6.1-SNAPSHOT/ast-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/ast/2.6.1-SNAPSHOT/ast-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/2.6.1-SNAPSHOT/core-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/platform/2.6.1-SNAPSHOT/platform-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/platform/2.6.1-SNAPSHOT/platform-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/platform/2.6.1-SNAPSHOT/platform-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/isagen/2.6.1-SNAPSHOT/isagen-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/isagen/2.6.1-SNAPSHOT/isagen-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/isagen/2.6.1-SNAPSHOT/isagen-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/commandlinetool/2.6.1-SNAPSHOT/commandlinetool-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/commandlinetool/2.6.1-SNAPSHOT/commandlinetool-2.6.1-SNAPSHOT-jar-with-dependencies.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/commandlinetool/2.6.1-SNAPSHOT/commandlinetool-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml-runtime/2.6.1-SNAPSHOT/vdm2jml-runtime-2.6.1-SNAPSHOT-sources.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml-runtime/2.6.1-SNAPSHOT/vdm2jml-runtime-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml-runtime/2.6.1-SNAPSHOT/vdm2jml-runtime-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/vdm2jml-runtime/2.6.1-SNAPSHOT/vdm2jml-runtime-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/pog/2.6.1-SNAPSHOT/pog-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/pog/2.6.1-SNAPSHOT/pog-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/pog/2.6.1-SNAPSHOT/pog-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/prettyprinting/2.6.1-SNAPSHOT/prettyprinting-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/testing/samples/2.6.1-SNAPSHOT/samples-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/npp/2.6.1-SNAPSHOT/npp-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/npp/2.6.1-SNAPSHOT/npp-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/npp/2.6.1-SNAPSHOT/npp-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/javagen/2.6.1-SNAPSHOT/javagen-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/javagen/2.6.1-SNAPSHOT/javagen-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/javagen/2.6.1-SNAPSHOT/javagen-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/isapog/2.6.1-SNAPSHOT/isapog-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/isapog/2.6.1-SNAPSHOT/isapog-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/isapog/2.6.1-SNAPSHOT/isapog-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/externals/2.6.1-SNAPSHOT/externals-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/externals/2.6.1-SNAPSHOT/externals-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/typechecker/2.6.1-SNAPSHOT/typechecker-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/typechecker/2.6.1-SNAPSHOT/typechecker-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/typechecker/2.6.1-SNAPSHOT/typechecker-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/combinatorialtesting/2.6.1-SNAPSHOT/combinatorialtesting-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/testframework/2.6.1-SNAPSHOT/testframework-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/testframework/2.6.1-SNAPSHOT/testframework-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/testframework/2.6.1-SNAPSHOT/testframework-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/codegen-runtime/2.6.1-SNAPSHOT/codegen-runtime-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/codegen-runtime/2.6.1-SNAPSHOT/codegen-runtime-2.6.1-SNAPSHOT-sources.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/codegen-runtime/2.6.1-SNAPSHOT/codegen-runtime-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/codegen/codegen-runtime/2.6.1-SNAPSHOT/codegen-runtime-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/prettyprinting/prettyprinter/2.6.1-SNAPSHOT/prettyprinter-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/prettyprinting/prettyprinter/2.6.1-SNAPSHOT/prettyprinter-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/prettyprinting/prettyprinter/2.6.1-SNAPSHOT/prettyprinter-2.6.1-SNAPSHOT.pom [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctruntime/2.6.1-SNAPSHOT/ctruntime-2.6.1-SNAPSHOT-javadoc.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctruntime/2.6.1-SNAPSHOT/ctruntime-2.6.1-SNAPSHOT.jar [INFO] Deploying artifact: http://overture.au.dk:8081/artifactory/overture-development/org/overturetool/core/combinatorialtesting/ctruntime/2.6.1-SNAPSHOT/ctruntime-2.6.1-SNAPSHOT.pom [INFO] Artifactory Build Info Recorder: Deploying build info ... [INFO] Deploying build descriptor to: http://overture.au.dk:8081/artifactory/api/build [INFO] Build successfully deployed. Browse it in Artifactory under http://overture.au.dk:8081/artifactory/webapp/builds/overture-development/200 [INFO] ------------------------------------------------------------------------ [INFO] Reactor Summary: [INFO] [INFO] The Overture Tool Platform root ................... SUCCESS [17.963s] [INFO] Overture External Resources ....................... SUCCESS [8.219s] [INFO] Core Tools ........................................ SUCCESS [1.814s] [INFO] The Overture Abstract Syntax Tree ................. SUCCESS [23.989s] [INFO] Test Framework for Overture ....................... SUCCESS [5.125s] [INFO] The VDM parser .................................... SUCCESS [30.263s] [INFO] The VDM Type Checker .............................. SUCCESS [1:03.052s] [INFO] Overture Testing .................................. SUCCESS [1.179s] [INFO] Overture Testing Framework ........................ SUCCESS [3.789s] [INFO] Overture Sample Tests ............................. SUCCESS [22.601s] [INFO] VDM Pretty Printing ............................... SUCCESS [2.208s] [INFO] The VDM Pretty Printer ............................ SUCCESS [5.226s] [INFO] The Proof Obligation Generator .................... SUCCESS [15.649s] [INFO] The VDM Interpreter ............................... SUCCESS [34.286s] [INFO] Combinatorial Testing ............................. SUCCESS [1.114s] [INFO] Combinatorial Testing Utilities ................... SUCCESS [4.496s] [INFO] Combinatorial Testing Runtime ..................... SUCCESS [25.488s] [INFO] New Pretty Printer ................................ SUCCESS [5.539s] [INFO] Overture Core Command Line Tool ................... SUCCESS [4.794s] [INFO] Code Generation ................................... SUCCESS [1.190s] [INFO] The Intermediate Representation Tree .............. SUCCESS [14.291s] [INFO] The Code Generation Platform ...................... SUCCESS [50.609s] [INFO] The Java Code Generator Runtime ................... SUCCESS [6.455s] [INFO] The Java Code Generator Testing ................... SUCCESS [3.762s] [INFO] The Java Code Generator ........................... SUCCESS [30.504s] [INFO] The VDM to JML Generator Runtime .................. SUCCESS [3.636s] [INFO] The VDM to JML Generator .......................... SUCCESS [24.690s] [INFO] The Java Code Generator Maven Plugin .............. SUCCESS [10.708s] [INFO] The VDM to Isabelle Translator .................... SUCCESS [9.941s] [INFO] POG - Isagen Integration .......................... SUCCESS [6.720s] [INFO] Documentation ..................................... SUCCESS [0.936s] [INFO] The Overture release notes ........................ SUCCESS [2.727s] [INFO] Overture IDE Top-level ............................ SUCCESS [1.792s] [INFO] org.overture.ide.core ............................. SUCCESS [6.888s] [INFO] Overture IDE Builders ............................. SUCCESS [1.112s] [INFO] org.overture.ide.builders.vdmj .................... SUCCESS [4.181s] [INFO] org.overture.ide.ui ............................... SUCCESS [6.355s] [INFO] Overture IDE Parsers .............................. SUCCESS [1.126s] [INFO] org.overture.ide.parsers.vdmj ..................... SUCCESS [3.549s] [INFO] org.overture.ide.debug ............................ SUCCESS [8.762s] [INFO] Overture IDE VDM-SL top level ..................... SUCCESS [1.141s] [INFO] org.overture.ide.vdmsl.core ....................... SUCCESS [3.387s] [INFO] org.overture.ide.vdmsl.ui ......................... SUCCESS [3.845s] [INFO] org.overture.ide.vdmsl.debug ...................... SUCCESS [4.009s] [INFO] Overture IDE VDM-PP Top-level ..................... SUCCESS [1.103s] [INFO] org.overture.ide.vdmpp.core ....................... SUCCESS [3.721s] [INFO] org.overture.ide.vdmpp.ui ......................... SUCCESS [3.854s] [INFO] org.overture.ide.vdmpp.debug ...................... SUCCESS [4.029s] [INFO] Overture IDE VDM-RT (RealTime) Top-level .......... SUCCESS [1.069s] [INFO] org.overture.ide.vdmrt.core ....................... SUCCESS [3.897s] [INFO] org.overture.ide.vdmrt.ui ......................... SUCCESS [3.996s] [INFO] org.overture.ide.vdmrt.debug ...................... SUCCESS [3.949s] [INFO] org.overture.ide.help ............................. SUCCESS [9.713s] [INFO] Overture IDE core plugins GUI ..................... SUCCESS [1.315s] [INFO] org.overture.ide.plugins.externaleditor ........... SUCCESS [3.912s] [INFO] org.overture.ide.plugins.coverageeditor ........... SUCCESS [3.880s] [INFO] org.overture.ide.plugins.csk ...................... SUCCESS [3.895s] [INFO] org.overture.ide.plugins.quickinterpreter ......... SUCCESS [3.758s] [INFO] org.overture.ide.plugins.latex .................... SUCCESS [4.080s] [INFO] org.overture.ide.plugins.poviewer ................. SUCCESS [4.122s] [INFO] Combinatorial Testing ............................. SUCCESS [4.872s] [INFO] Developer Utilities for Overture .................. SUCCESS [3.943s] [INFO] UML2 Translator ................................... SUCCESS [4.771s] [INFO] RT Trace Viewer Plugin ............................ SUCCESS [4.773s] [INFO] The Java Code Generator Plugin .................... SUCCESS [5.705s] [INFO] org.overture.ide.platform ......................... SUCCESS [6.555s] [INFO] Overture IDE Eclipse features ..................... SUCCESS [1.098s] [INFO] Overture IDE Eclipse core feature ................. SUCCESS [3.544s] [INFO] Overture IDE Eclipse plugin features .............. SUCCESS [1.125s] [INFO] Overture IDE Eclipse Coverage Editor feature ...... SUCCESS [3.458s] [INFO] Overture IDE Eclipse CSK VDM Tools Link feature ... SUCCESS [3.460s] [INFO] Overture IDE Eclipse Combinatorial Testing feature SUCCESS [3.498s] [INFO] Overture IDE Eclipse Developer Utilities feature .. SUCCESS [3.428s] [INFO] Overture IDE Eclipse LaTeX Creator feature ........ SUCCESS [3.347s] [INFO] Overture IDE Eclipse Proof Obligation Viewer feature SUCCESS [3.395s] [INFO] Overture IDE Eclipse VDM Quick Interpreter feature SUCCESS [3.348s] [INFO] Overture IDE Eclipse plugin uml2 feature .......... SUCCESS [3.449s] [INFO] Overture IDE Eclipse Realtime Trace Viewer feature SUCCESS [3.467s] [INFO] Overture IDE Eclipse Java Code Generator feature .. SUCCESS [3.445s] [INFO] Overture IDE Eclipse rcp feature .................. SUCCESS [9.101s] [INFO] Overture IDE Standalone Product ................... SUCCESS [2:06.349s] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 14:51.754s [INFO] Finished at: Fri May 04 15:23:18 CEST 2018 [INFO] Final Memory: 315M/881M [INFO] ------------------------------------------------------------------------ [WARNING] The requested profile "force-download-externals" could not be activated because it does not exist.