Started by GitHub push by idhugoid
Running as SYSTEM
Building on master in workspace /var/lib/jenkins/workspace/overture-development
No credentials specified
> /usr/bin/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /usr/bin/git config remote.origin.url https://github.com/overturetool/overture.git # timeout=10
Fetching upstream changes from https://github.com/overturetool/overture.git
> /usr/bin/git --version # timeout=10
> /usr/bin/git fetch --tags --progress -- https://github.com/overturetool/overture.git +refs/heads/development:refs/remotes/origin/development # timeout=10
> /usr/bin/git rev-parse refs/remotes/origin/development^{commit} # timeout=10
> /usr/bin/git rev-parse refs/remotes/origin/refs/heads/development^{commit} # timeout=10
Checking out Revision 634ac95b9df7ce951e57972124675f25717ab1e7 (refs/remotes/origin/development)
> /usr/bin/git config core.sparsecheckout # timeout=10
> /usr/bin/git checkout -f 634ac95b9df7ce951e57972124675f25717ab1e7 # timeout=10
Commit message: "Preparing the release of Overture 3.0.2"
> /usr/bin/git rev-list --no-walk 3bbf87c2c9e7daa383c134c1c9e4da327bd0a101 # timeout=10
[overture-development] $ mvn -f pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-development/.repository clean -PWith-IDE -Dtycho.mode=maven -fn
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
[[1;34mINFO[m] Scanning for projects...
[[1;33mWARNING[m] The project org.overturetool:root:pom:3.0.1-SNAPSHOT uses prerequisites which is only intended for maven-plugin projects but not for non maven-plugin projects. For such purposes you should use the maven-enforcer-plugin. See https://maven.apache.org/enforcer/enforcer-rules/requireMavenVersion.html
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] [1mReactor Build Order:[m
[[1;34mINFO[m]
[[1;34mINFO[m] The Overture Tool Platform root [pom]
[[1;34mINFO[m] Overture External Resources [jar]
[[1;34mINFO[m] Core Tools [pom]
[[1;34mINFO[m] The Overture Abstract Syntax Tree [jar]
[[1;34mINFO[m] Test Framework for Overture [jar]
[[1;34mINFO[m] The VDM parser [jar]
[[1;34mINFO[m] The VDM Type Checker [jar]
[[1;34mINFO[m] Overture Testing [pom]
[[1;34mINFO[m] Overture Testing Framework [jar]
[[1;34mINFO[m] Overture Sample Tests [jar]
[[1;34mINFO[m] VDM Pretty Printing [pom]
[[1;34mINFO[m] The VDM Pretty Printer [jar]
[[1;34mINFO[m] The Proof Obligation Generator [jar]
[[1;34mINFO[m] The VDM Interpreter [jar]
[[1;34mINFO[m] Combinatorial Testing [pom]
[[1;34mINFO[m] Combinatorial Testing Utilities [jar]
[[1;34mINFO[m] Combinatorial Testing Runtime [jar]
[[1;34mINFO[m] New Pretty Printer [jar]
[[1;34mINFO[m] Overture Core Command Line Tool [jar]
[[1;34mINFO[m] Code Generation [pom]
[[1;34mINFO[m] The Intermediate Representation Tree [jar]
[[1;34mINFO[m] The Code Generation Platform [jar]
[[1;34mINFO[m] The Java Code Generator Runtime [jar]
[[1;34mINFO[m] The Java Code Generator Testing [jar]
[[1;34mINFO[m] The Java Code Generator [jar]
[[1;34mINFO[m] The VDM to JML Generator Runtime [jar]
[[1;34mINFO[m] The VDM to JML Generator [jar]
[[1;34mINFO[m] The Java Code Generator Maven Plugin [maven-plugin]
[[1;34mINFO[m] The VDM to Isabelle Translator [jar]
[[1;34mINFO[m] POG - Isagen Integration [jar]
[[1;34mINFO[m] VDM Annotations [pom]
[[1;34mINFO[m] Provided Annotations [jar]
[[1;34mINFO[m] Annotation Examples [jar]
[[1;34mINFO[m] Documentation [pom]
[[1;34mINFO[m] The Overture release notes [jar]
[[1;34mINFO[m] Overture IDE Top-level [pom]
[[1;34mINFO[m] org.overture.ide.core [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.ui [eclipse-plugin]
[[1;34mINFO[m] Overture IDE Parsers [pom]
[[1;34mINFO[m] org.overture.ide.parsers.vdmj [eclipse-plugin]
[[1;34mINFO[m] Overture IDE Builders [pom]
[[1;34mINFO[m] org.overture.ide.builders.vdmj [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.debug [eclipse-plugin]
[[1;34mINFO[m] Overture IDE VDM-SL top level [pom]
[[1;34mINFO[m] org.overture.ide.vdmsl.core [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.vdmsl.ui [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.vdmsl.debug [eclipse-plugin]
[[1;34mINFO[m] Overture IDE VDM-PP Top-level [pom]
[[1;34mINFO[m] org.overture.ide.vdmpp.core [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.vdmpp.ui [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.vdmpp.debug [eclipse-plugin]
[[1;34mINFO[m] Overture IDE VDM-RT (RealTime) Top-level [pom]
[[1;34mINFO[m] org.overture.ide.vdmrt.core [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.vdmrt.ui [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.vdmrt.debug [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.help [eclipse-plugin]
[[1;34mINFO[m] Overture IDE core plugins GUI [pom]
[[1;34mINFO[m] org.overture.ide.plugins.coverageeditor [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.plugins.csk [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.plugins.quickinterpreter [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.plugins.externaleditor [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.plugins.latex [eclipse-plugin]
[[1;34mINFO[m] org.overture.ide.plugins.poviewer [eclipse-plugin]
[[1;34mINFO[m] Combinatorial Testing [eclipse-plugin]
[[1;34mINFO[m] Developer Utilities for Overture [eclipse-plugin]
[[1;34mINFO[m] UML2 Translator [eclipse-plugin]
[[1;34mINFO[m] RT Trace Viewer Plugin [eclipse-plugin]
[[1;34mINFO[m] The Java Code Generator Plugin [eclipse-plugin]
[[1;34mINFO[m] Overture IDE Eclipse plugin features [pom]
[[1;34mINFO[m] Overture IDE Eclipse Coverage Editor feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse CSK VDM Tools Link feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse Combinatorial Testing feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse Developer Utilities feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse LaTeX Creator feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse Proof Obligation Viewer feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse VDM Quick Interpreter feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse plugin uml2 feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse Realtime Trace Viewer feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse Java Code Generator feature [eclipse-feature]
[[1;34mINFO[m] org.overture.ide.platform [eclipse-plugin]
[[1;34mINFO[m] Overture IDE Eclipse features [pom]
[[1;34mINFO[m] Overture IDE Eclipse core feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Eclipse rcp feature [eclipse-feature]
[[1;34mINFO[m] Overture IDE Standalone Product [eclipse-repository]
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------------------< [0;36morg.overturetool:root[0;1m >------------------------[m
[[1;34mINFO[m] [1mBuilding The Overture Tool Platform root 3.0.1-SNAPSHOT [1/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mroot[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------------< [0;36morg.overturetool:externals[0;1m >---------------------[m
[[1;34mINFO[m] [1mBuilding Overture External Resources 3.0.1-SNAPSHOT [2/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mexternals[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/externals/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------------------< [0;36morg.overturetool:core[0;1m >------------------------[m
[[1;34mINFO[m] [1mBuilding Core Tools 3.0.1-SNAPSHOT [3/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mcore[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------------< [0;36morg.overturetool.core:ast[0;1m >----------------------[m
[[1;34mINFO[m] [1mBuilding The Overture Abstract Syntax Tree 3.0.1-SNAPSHOT [4/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mast[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/ast/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----------------< [0;36morg.overturetool.core:testframework[0;1m >-----------------[m
[[1;34mINFO[m] [1mBuilding Test Framework for Overture 3.0.1-SNAPSHOT [5/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mtestframework[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/testframework/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------------------< [0;36morg.overturetool.core:parser[0;1m >--------------------[m
[[1;34mINFO[m] [1mBuilding The VDM parser 3.0.1-SNAPSHOT [6/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mparser[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/parser/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------------< [0;36morg.overturetool.core:typechecker[0;1m >------------------[m
[[1;34mINFO[m] [1mBuilding The VDM Type Checker 3.0.1-SNAPSHOT [7/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mtypechecker[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/typechecker/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------------< [0;36morg.overturetool.core:testing[0;1m >--------------------[m
[[1;34mINFO[m] [1mBuilding Overture Testing 3.0.1-SNAPSHOT [8/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mtesting[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------------< [0;36morg.overturetool.core.testing:framework[0;1m >---------------[m
[[1;34mINFO[m] [1mBuilding Overture Testing Framework 3.0.1-SNAPSHOT [9/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mframework[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/testing/framework/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------< [0;36morg.overturetool.core.testing:samples[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding Overture Sample Tests 3.0.1-SNAPSHOT [10/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36msamples[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/testing/samples/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----------------< [0;36morg.overturetool.core:prettyprinting[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding VDM Pretty Printing 3.0.1-SNAPSHOT [11/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mprettyprinting[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------< [0;36morg.overturetool.core.prettyprinting:prettyprinter[0;1m >---------[m
[[1;34mINFO[m] [1mBuilding The VDM Pretty Printer 3.0.1-SNAPSHOT [12/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mprettyprinter[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/prettyprinting/prettyprinter/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------------< [0;36morg.overturetool.core:pog[0;1m >----------------------[m
[[1;34mINFO[m] [1mBuilding The Proof Obligation Generator 3.0.1-SNAPSHOT [13/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mpog[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/pog/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------------< [0;36morg.overturetool.core:interpreter[0;1m >------------------[m
[[1;34mINFO[m] [1mBuilding The VDM Interpreter 3.0.1-SNAPSHOT [14/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36minterpreter[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/interpreter/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.core:combinatorialtesting[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Combinatorial Testing 3.0.1-SNAPSHOT [15/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mcombinatorialtesting[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------< [0;36morg.overturetool.core.combinatorialtesting:ctutils[0;1m >---------[m
[[1;34mINFO[m] [1mBuilding Combinatorial Testing Utilities 3.0.1-SNAPSHOT [16/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mctutils[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctutils/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------< [0;36morg.overturetool.core.combinatorialtesting:ctruntime[0;1m >--------[m
[[1;34mINFO[m] [1mBuilding Combinatorial Testing Runtime 3.0.1-SNAPSHOT [17/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mctruntime[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/combinatorialtesting/ctruntime/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------------< [0;36morg.overturetool.core:npp[0;1m >----------------------[m
[[1;34mINFO[m] [1mBuilding New Pretty Printer 3.0.1-SNAPSHOT [18/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mnpp[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/prettyprinting/npp/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------< [0;36morg.overturetool.core:commandlinetool[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding Overture Core Command Line Tool 3.0.1-SNAPSHOT [19/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mcommandlinetool[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/commandline/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------------< [0;36morg.overturetool.core:codegen[0;1m >--------------------[m
[[1;34mINFO[m] [1mBuilding Code Generation 3.0.1-SNAPSHOT [20/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mcodegen[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------------< [0;36morg.overturetool.core.codegen:ir[0;1m >------------------[m
[[1;34mINFO[m] [1mBuilding The Intermediate Representation Tree 3.0.1-SNAPSHOT [21/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mir[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/ir/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------< [0;36morg.overturetool.core.codegen:platform[0;1m >---------------[m
[[1;34mINFO[m] [1mBuilding The Code Generation Platform 3.0.1-SNAPSHOT [22/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mplatform[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/platform/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.core.codegen:codegen-runtime[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator Runtime 3.0.1-SNAPSHOT [23/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mcodegen-runtime[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-runtime/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.core.codegen:javagen-test[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator Testing 3.0.1-SNAPSHOT [24/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mjavagen-test[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/javagen-test/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------< [0;36morg.overturetool.core.codegen:javagen[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator 3.0.1-SNAPSHOT [25/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mjavagen[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/javagen/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.core.codegen:vdm2jml-runtime[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding The VDM to JML Generator Runtime 3.0.1-SNAPSHOT [26/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mvdm2jml-runtime[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/vdm2jml-runtime/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---------------< [0;36morg.overturetool.core.codegen:vdm2jml[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding The VDM to JML Generator 3.0.1-SNAPSHOT [27/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mvdm2jml[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/vdm2jml/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.core.codegen:codegen-plugin[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator Maven Plugin 3.0.1-SNAPSHOT [28/84][m
[[1;34mINFO[m] [1m----------------------------[ maven-plugin ]----------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mcodegen-plugin[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/codegen-maven-plugin/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----------------< [0;36morg.overturetool.core.codegen:isagen[0;1m >----------------[m
[[1;34mINFO[m] [1mBuilding The VDM to Isabelle Translator 3.0.1-SNAPSHOT [29/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36misagen[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/codegen/isagen/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------------------< [0;36morg.overturetool.core:isapog[0;1m >--------------------[m
[[1;34mINFO[m] [1mBuilding POG - Isagen Integration 3.0.1-SNAPSHOT [30/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36misapog[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/isapog/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------------< [0;36morg.overturetool.core:annotations[0;1m >------------------[m
[[1;34mINFO[m] [1mBuilding VDM Annotations 3.0.1-SNAPSHOT [31/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mannotations[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.core.annotations:provided[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Provided Annotations 3.0.1-SNAPSHOT [32/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mprovided[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/annotations/provided/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.core.annotations:examples[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Annotation Examples 3.0.1-SNAPSHOT [33/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mexamples[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/core/annotations/examples/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------------< [0;36morg.overturetool:documentation[0;1m >-------------------[m
[[1;34mINFO[m] [1mBuilding Documentation 3.0.1-SNAPSHOT [34/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mdocumentation[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.documentation:releasenotes[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding The Overture release notes 3.0.1-SNAPSHOT [35/84][m
[[1;34mINFO[m] [1m--------------------------------[ jar ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mreleasenotes[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/documentation/releasenotes/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------------------< [0;36morg.overturetool:ide[0;1m >------------------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Top-level 3.0.1-SNAPSHOT [36/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mide[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.ide:org.overture.ide.core[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.core 3.0.1-SNAPSHOT [37/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/core/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/core/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------------< [0;36morg.overturetool.ide:org.overture.ide.ui[0;1m >--------------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.ui 3.0.1-SNAPSHOT [38/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.ui[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/ui/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.parsers[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Parsers 3.0.1-SNAPSHOT [39/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.parsers[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----< [0;36morg.overturetool.ide.parsers:org.overture.ide.parsers.vdmj[0;1m >-----[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.parsers.vdmj 3.0.1-SNAPSHOT [40/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.parsers.vdmj[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/parsers/vdmj/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.builders[0;1m >-----------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Builders 3.0.1-SNAPSHOT [41/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.builders[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----< [0;36morg.overturetool.ide.builders:org.overture.ide.builders.vdmj[0;1m >----[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.builders.vdmj 3.0.1-SNAPSHOT [42/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.builders.vdmj[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.ide:org.overture.ide.debug[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.debug 3.0.1-SNAPSHOT [43/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.debug[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/debug/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/debug/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.ide:org.overture.ide.vdmsl[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE VDM-SL top level 3.0.1-SNAPSHOT [44/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmsl[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------< [0;36morg.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmsl.core 3.0.1-SNAPSHOT [45/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmsl.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmsl/core/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------< [0;36morg.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui[0;1m >--------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmsl.ui 3.0.1-SNAPSHOT [46/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmsl.ui[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmsl/ui/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------< [0;36morg.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmsl.debug 3.0.1-SNAPSHOT [47/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmsl.debug[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmsl/debug/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.ide:org.overture.ide.vdmpp[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE VDM-PP Top-level 3.0.1-SNAPSHOT [48/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmpp[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------< [0;36morg.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmpp.core 3.0.1-SNAPSHOT [49/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmpp.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmpp/core/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------< [0;36morg.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui[0;1m >--------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmpp.ui 3.0.1-SNAPSHOT [50/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmpp.ui[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmpp/ui/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------< [0;36morg.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmpp.debug 3.0.1-SNAPSHOT [51/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmpp.debug[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmpp/debug/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------------< [0;36morg.overturetool.ide:org.overture.ide.vdmrt[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE VDM-RT (RealTime) Top-level 3.0.1-SNAPSHOT [52/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmrt[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------< [0;36morg.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmrt.core 3.0.1-SNAPSHOT [53/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmrt.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmrt/core/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--------< [0;36morg.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui[0;1m >--------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmrt.ui 3.0.1-SNAPSHOT [54/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmrt.ui[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmrt/ui/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m------< [0;36morg.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug[0;1m >-------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.vdmrt.debug 3.0.1-SNAPSHOT [55/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.vdmrt.debug[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/vdmrt/debug/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------< [0;36morg.overturetool.ide:org.overture.ide.help[0;1m >-------------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.help 3.0.1-SNAPSHOT [56/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.help[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/help/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.plugins[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE core plugins GUI 3.0.1-SNAPSHOT [57/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor[0;1m >--[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.coverageeditor 3.0.1-SNAPSHOT [58/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.coverageeditor[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/coverageeditor/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.csk[0;1m >------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.csk 3.0.1-SNAPSHOT [59/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.csk[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/csk/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter[0;1m >--[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.quickinterpreter 3.0.1-SNAPSHOT [60/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.quickinterpreter[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/quickinterpreter/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor[0;1m >--[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.externaleditor 3.0.1-SNAPSHOT [61/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.externaleditor[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/externaleditor/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.latex[0;1m >-----[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.latex 3.0.1-SNAPSHOT [62/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.latex[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/latex/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.poviewer[0;1m >---[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.plugins.poviewer 3.0.1-SNAPSHOT [63/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.poviewer[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Combinatorial Testing 3.0.1-SNAPSHOT [64/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.combinatorialtesting[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.developerutils[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Developer Utilities for Overture 3.0.1-SNAPSHOT [65/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.developerutils[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/developerutils/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.uml2[0;1m >-----[m
[[1;34mINFO[m] [1mBuilding UML2 Translator 3.0.1-SNAPSHOT [66/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.uml2[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer[0;1m >--[m
[[1;34mINFO[m] [1mBuilding RT Trace Viewer Plugin 3.0.1-SNAPSHOT [67/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.rttraceviewer[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/rttraceviewer/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.javagen[0;1m >----[m
[[1;34mINFO[m] [1mBuilding The Java Code Generator Plugin 3.0.1-SNAPSHOT [68/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.javagen[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/target
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/jars (includes = [], excludes = [])
[[1;34mINFO[m]
[[1;34mINFO[m] [1m---< [0;36morg.overturetool.ide.plugins:org.overture.ide.plugins.features[0;1m >---[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse plugin features 3.0.1-SNAPSHOT [69/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Coverage Editor feature 3.0.1-SNAPSHOT [70/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.coverageeditor[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse CSK VDM Tools Link feature 3.0.1-SNAPSHOT [71/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.csk[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/csk/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Combinatorial Testing feature 3.0.1-SNAPSHOT [72/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.combinatorialtesting[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/combinatorialtesting/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Developer Utilities feature 3.0.1-SNAPSHOT [73/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.developerutils[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/developerutils/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse LaTeX Creator feature 3.0.1-SNAPSHOT [74/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.latex[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/latex/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Proof Obligation Viewer feature 3.0.1-SNAPSHOT [75/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.poviewer[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/poviewer/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse VDM Quick Interpreter feature 3.0.1-SNAPSHOT [76/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.quickinterpreter[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse plugin uml2 feature 3.0.1-SNAPSHOT [77/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.uml2[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Realtime Trace Viewer feature 3.0.1-SNAPSHOT [78/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.rttraceviewer[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/rttraceviewer/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--< [0;36morg.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen[0;1m >--[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse Java Code Generator feature 3.0.1-SNAPSHOT [79/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.plugins.features.javagen[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/plugins/features/javagen/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.platform[0;1m >-----------[m
[[1;34mINFO[m] [1mBuilding org.overture.ide.platform 3.0.1-SNAPSHOT [80/84][m
[[1;34mINFO[m] [1m---------------------------[ eclipse-plugin ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.platform[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/platform/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-------------------< [0;36morg.overturetool.ide:features[0;1m >--------------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse features 3.0.1-SNAPSHOT [81/84][m
[[1;34mINFO[m] [1m--------------------------------[ pom ]---------------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36mfeatures[0;1m ---[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----< [0;36morg.overturetool.ide.features:org.overture.ide.features.core[0;1m >----[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse core feature 3.0.1-SNAPSHOT [82/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.features.core[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/features/core/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m----< [0;36morg.overturetool.ide.features:org.overture.ide.features.rcp[0;1m >-----[m
[[1;34mINFO[m] [1mBuilding Overture IDE Eclipse rcp feature 3.0.1-SNAPSHOT [83/84][m
[[1;34mINFO[m] [1m--------------------------[ eclipse-feature ]---------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.features.rcp[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/features/rcp/target
[[1;34mINFO[m]
[[1;34mINFO[m] [1m-----------< [0;36morg.overturetool.ide:org.overture.ide.product[0;1m >------------[m
[[1;34mINFO[m] [1mBuilding Overture IDE Standalone Product 3.0.1-SNAPSHOT [84/84][m
[[1;34mINFO[m] [1m-------------------------[ eclipse-repository ]-------------------------[m
[[1;34mINFO[m]
[[1;34mINFO[m] [1m--- [0;32mmaven-clean-plugin:3.0.0:clean[m [1m(default-clean)[m @ [36morg.overture.ide.product[0;1m ---[m
[[1;34mINFO[m] Deleting /var/lib/jenkins/workspace/overture-development/ide/product/target
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] [1mReactor Summary for The Overture Tool Platform root 3.0.1-SNAPSHOT:[m
[[1;34mINFO[m]
[[1;34mINFO[m] The Overture Tool Platform root .................... [1;32mSUCCESS[m [ 0.161 s]
[[1;34mINFO[m] Overture External Resources ........................ [1;32mSUCCESS[m [ 0.006 s]
[[1;34mINFO[m] Core Tools ......................................... [1;32mSUCCESS[m [ 0.045 s]
[[1;34mINFO[m] The Overture Abstract Syntax Tree .................. [1;32mSUCCESS[m [ 0.057 s]
[[1;34mINFO[m] Test Framework for Overture ........................ [1;32mSUCCESS[m [ 0.010 s]
[[1;34mINFO[m] The VDM parser ..................................... [1;32mSUCCESS[m [ 0.040 s]
[[1;34mINFO[m] The VDM Type Checker ............................... [1;32mSUCCESS[m [ 0.188 s]
[[1;34mINFO[m] Overture Testing ................................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] Overture Testing Framework ......................... [1;32mSUCCESS[m [ 0.009 s]
[[1;34mINFO[m] Overture Sample Tests .............................. [1;32mSUCCESS[m [ 0.235 s]
[[1;34mINFO[m] VDM Pretty Printing ................................ [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] The VDM Pretty Printer ............................. [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] The Proof Obligation Generator ..................... [1;32mSUCCESS[m [ 0.046 s]
[[1;34mINFO[m] The VDM Interpreter ................................ [1;32mSUCCESS[m [ 0.194 s]
[[1;34mINFO[m] Combinatorial Testing .............................. [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] Combinatorial Testing Utilities .................... [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] Combinatorial Testing Runtime ...................... [1;32mSUCCESS[m [ 0.025 s]
[[1;34mINFO[m] New Pretty Printer ................................. [1;32mSUCCESS[m [ 0.011 s]
[[1;34mINFO[m] Overture Core Command Line Tool .................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] Code Generation .................................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] The Intermediate Representation Tree ............... [1;32mSUCCESS[m [ 0.041 s]
[[1;34mINFO[m] The Code Generation Platform ....................... [1;32mSUCCESS[m [ 0.060 s]
[[1;34mINFO[m] The Java Code Generator Runtime .................... [1;32mSUCCESS[m [ 3.041 s]
[[1;34mINFO[m] The Java Code Generator Testing .................... [1;32mSUCCESS[m [ 0.013 s]
[[1;34mINFO[m] The Java Code Generator ............................ [1;32mSUCCESS[m [ 0.260 s]
[[1;34mINFO[m] The VDM to JML Generator Runtime ................... [1;32mSUCCESS[m [ 0.012 s]
[[1;34mINFO[m] The VDM to JML Generator ........................... [1;32mSUCCESS[m [ 0.190 s]
[[1;34mINFO[m] The Java Code Generator Maven Plugin ............... [1;32mSUCCESS[m [ 0.047 s]
[[1;34mINFO[m] The VDM to Isabelle Translator ..................... [1;32mSUCCESS[m [ 0.026 s]
[[1;34mINFO[m] POG - Isagen Integration ........................... [1;32mSUCCESS[m [ 0.009 s]
[[1;34mINFO[m] VDM Annotations .................................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Provided Annotations ............................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] Annotation Examples ................................ [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] Documentation ...................................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] The Overture release notes ......................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] Overture IDE Top-level ............................. [1;32mSUCCESS[m [ 0.029 s]
[[1;34mINFO[m] org.overture.ide.core .............................. [1;32mSUCCESS[m [ 0.014 s]
[[1;34mINFO[m] org.overture.ide.ui ................................ [1;32mSUCCESS[m [ 0.015 s]
[[1;34mINFO[m] Overture IDE Parsers ............................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.parsers.vdmj ...................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] Overture IDE Builders .............................. [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.builders.vdmj ..................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] org.overture.ide.debug ............................. [1;32mSUCCESS[m [ 0.031 s]
[[1;34mINFO[m] Overture IDE VDM-SL top level ...................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.vdmsl.core ........................ [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.vdmsl.ui .......................... [1;32mSUCCESS[m [ 0.006 s]
[[1;34mINFO[m] org.overture.ide.vdmsl.debug ....................... [1;32mSUCCESS[m [ 0.006 s]
[[1;34mINFO[m] Overture IDE VDM-PP Top-level ...................... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.vdmpp.core ........................ [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.vdmpp.ui .......................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.vdmpp.debug ....................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] Overture IDE VDM-RT (RealTime) Top-level ........... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] org.overture.ide.vdmrt.core ........................ [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.vdmrt.ui .......................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.vdmrt.debug ....................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.help .............................. [1;32mSUCCESS[m [ 0.081 s]
[[1;34mINFO[m] Overture IDE core plugins GUI ...................... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] org.overture.ide.plugins.coverageeditor ............ [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.plugins.csk ....................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.plugins.quickinterpreter .......... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.plugins.externaleditor ............ [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] org.overture.ide.plugins.latex ..................... [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] org.overture.ide.plugins.poviewer .................. [1;32mSUCCESS[m [ 0.004 s]
[[1;34mINFO[m] Combinatorial Testing .............................. [1;32mSUCCESS[m [ 0.008 s]
[[1;34mINFO[m] Developer Utilities for Overture ................... [1;32mSUCCESS[m [ 0.003 s]
[[1;34mINFO[m] UML2 Translator .................................... [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] RT Trace Viewer Plugin ............................. [1;32mSUCCESS[m [ 0.005 s]
[[1;34mINFO[m] The Java Code Generator Plugin ..................... [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] Overture IDE Eclipse plugin features ............... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse Coverage Editor feature ....... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse CSK VDM Tools Link feature .... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse Combinatorial Testing feature . [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse Developer Utilities feature ... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse LaTeX Creator feature ......... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse Proof Obligation Viewer feature [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse VDM Quick Interpreter feature . [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse plugin uml2 feature ........... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse Realtime Trace Viewer feature . [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse Java Code Generator feature ... [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] org.overture.ide.platform .......................... [1;32mSUCCESS[m [ 0.007 s]
[[1;34mINFO[m] Overture IDE Eclipse features ...................... [1;32mSUCCESS[m [ 0.001 s]
[[1;34mINFO[m] Overture IDE Eclipse core feature .................. [1;32mSUCCESS[m [ 0.002 s]
[[1;34mINFO[m] Overture IDE Eclipse rcp feature ................... [1;32mSUCCESS[m [ 0.010 s]
[[1;34mINFO[m] Overture IDE Standalone Product .................... [1;32mSUCCESS[m [ 0.511 s]
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] [1;32mBUILD SUCCESS[m
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[[1;34mINFO[m] Total time: 7.656 s
[[1;34mINFO[m] Finished at: 2020-11-10T09:58:20+01:00
[[1;34mINFO[m] [1m------------------------------------------------------------------------[m
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@3b592243[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,archived=false,size=214529,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Used, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type, Deprecation, Sunset], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Tue, 10 Nov 2020 08:57:36 GMT], ETag=[W/"a2a800696fcf365ad582b022b0404347f3856bab88fdb1841fdc432955d1677e"], Last-Modified=[Tue, 10 Nov 2020 08:30:13 GMT], OkHttp-Received-Millis=[1604998656276], OkHttp-Response-Source=[CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1604998656046], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding, Accept, X-Requested-With, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[86A0:D055:26A0CF2:2BDE47F:5FAA55FF], X-OAuth-Scopes=[read:repo_hook, repo, user, workflow], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4997], X-RateLimit-Reset=[1605000432], X-RateLimit-Used=[3], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:634ac95) with context:overture-development
Setting commit status on GitHub for https://github.com/overturetool/overture/commit/634ac95b9df7ce951e57972124675f25717ab1e7
Parsing POMs
Modules changed, recalculating dependency graph
Established TCP socket on 33283
[overture-development] $ java -Xmx1024m -XX:MaxPermSize=256M -Djava.awt.headless=true -cp /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-agent-1.13.jar:/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/boot/plexus-classworlds-2.5.1.jar:/var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1/conf/logging jenkins.maven3.agent.Maven31Main /var/lib/jenkins/tools/hudson.tasks.Maven_MavenInstallation/Maven_3.1.1 /var/cache/jenkins/war/WEB-INF/lib/remoting-4.2.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-interceptor-1.13.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven3-interceptor-commons-1.13.jar 33283
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
<===[JENKINS REMOTING CAPACITY]===>