Started by user Peter W. V. Tran-Jørgensen
Building on master in workspace /var/lib/jenkins/workspace/overture-test
> /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/test:refs/remotes/origin/test
> /usr/bin/git rev-parse refs/remotes/origin/test^{commit} # timeout=10
> /usr/bin/git rev-parse refs/remotes/origin/refs/heads/test^{commit} # timeout=10
Checking out Revision 4a78623dcab00a126191df079b905a942ab227c5 (refs/remotes/origin/test)
> /usr/bin/git config core.sparsecheckout # timeout=10
> /usr/bin/git checkout -f 4a78623dcab00a126191df079b905a942ab227c5
Commit message: "Correction to resolution of imported types"
> /usr/bin/git rev-list b301b646a4a90296ba309d30bfffe5d17b5dfbbe # timeout=10
[overture-test] $ mvn -f pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-test/.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
[INFO] Scanning for projects...
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO]
[INFO] The Overture Tool Platform root
[INFO] Overture External Resources
[INFO] Core Tools
[INFO] The Overture Abstract Syntax Tree
[INFO] Test Framework for Overture
[INFO] The VDM parser
[INFO] The VDM Type Checker
[INFO] Overture Testing
[INFO] Overture Testing Framework
[INFO] Overture Sample Tests
[INFO] VDM Pretty Printing
[INFO] The VDM Pretty Printer
[INFO] The Proof Obligation Generator
[INFO] The VDM Interpreter
[INFO] Combinatorial Testing
[INFO] Combinatorial Testing Utilities
[INFO] Combinatorial Testing Runtime
[INFO] New Pretty Printer
[INFO] Overture Core Command Line Tool
[INFO] Code Generation
[INFO] The Intermediate Representation Tree
[INFO] The Code Generation Platform
[INFO] The Java Code Generator Runtime
[INFO] The Java Code Generator Testing
[INFO] The Java Code Generator
[INFO] The VDM to JML Generator Runtime
[INFO] The VDM to JML Generator
[INFO] The Java Code Generator Maven Plugin
[INFO] The VDM to Isabelle Translator
[INFO] POG - Isagen Integration
[INFO] Documentation
[INFO] The Overture release notes
[INFO] Overture IDE Top-level
[INFO] org.overture.ide.core
[INFO] org.overture.ide.ui
[INFO] Overture IDE Parsers
[INFO] org.overture.ide.parsers.vdmj
[INFO] Overture IDE Builders
[INFO] org.overture.ide.builders.vdmj
[INFO] org.overture.ide.debug
[INFO] Overture IDE VDM-SL top level
[INFO] org.overture.ide.vdmsl.core
[INFO] org.overture.ide.vdmsl.ui
[INFO] org.overture.ide.vdmsl.debug
[INFO] Overture IDE VDM-PP Top-level
[INFO] org.overture.ide.vdmpp.core
[INFO] org.overture.ide.vdmpp.ui
[INFO] org.overture.ide.vdmpp.debug
[INFO] Overture IDE VDM-RT (RealTime) Top-level
[INFO] org.overture.ide.vdmrt.core
[INFO] org.overture.ide.vdmrt.ui
[INFO] org.overture.ide.vdmrt.debug
[INFO] org.overture.ide.help
[INFO] Overture IDE core plugins GUI
[INFO] org.overture.ide.plugins.coverageeditor
[INFO] org.overture.ide.plugins.csk
[INFO] org.overture.ide.plugins.quickinterpreter
[INFO] org.overture.ide.plugins.externaleditor
[INFO] org.overture.ide.plugins.latex
[INFO] org.overture.ide.plugins.poviewer
[INFO] Combinatorial Testing
[INFO] Developer Utilities for Overture
[INFO] UML2 Translator
[INFO] RT Trace Viewer Plugin
[INFO] The Java Code Generator Plugin
[INFO] Overture IDE Eclipse plugin features
[INFO] Overture IDE Eclipse Coverage Editor feature
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature
[INFO] Overture IDE Eclipse Combinatorial Testing feature
[INFO] Overture IDE Eclipse Developer Utilities feature
[INFO] Overture IDE Eclipse LaTeX Creator feature
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature
[INFO] Overture IDE Eclipse plugin uml2 feature
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature
[INFO] Overture IDE Eclipse Java Code Generator feature
[INFO] org.overture.ide.platform
[INFO] Overture IDE Eclipse features
[INFO] Overture IDE Eclipse core feature
[INFO] Overture IDE Eclipse rcp feature
[INFO] Overture IDE Standalone Product
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture Tool Platform root 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ root ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture External Resources 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ externals ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/externals/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Core Tools 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ core ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture Abstract Syntax Tree 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ast ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/ast/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Test Framework for Overture 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ testframework ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/testframework/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM parser 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ parser ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/parser/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM Type Checker 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ typechecker ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/typechecker/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Testing 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ testing ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Testing Framework 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ framework ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/testing/framework/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Sample Tests 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ samples ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/testing/samples/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building VDM Pretty Printing 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ prettyprinting ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM Pretty Printer 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ prettyprinter ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Proof Obligation Generator 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ pog ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/pog/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM Interpreter 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ interpreter ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/interpreter/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Combinatorial Testing 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ combinatorialtesting ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Combinatorial Testing Utilities 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ctutils ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Combinatorial Testing Runtime 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ctruntime ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building New Pretty Printer 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ npp ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/prettyprinting/npp/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture Core Command Line Tool 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ commandlinetool ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/commandline/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Code Generation 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Intermediate Representation Tree 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ir ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/ir/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Code Generation Platform 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ platform ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Runtime 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen-runtime ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-runtime/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Testing 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ javagen-test ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/javagen-test/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ javagen ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/javagen/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM to JML Generator Runtime 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ vdm2jml-runtime ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml-runtime/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM to JML Generator 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ vdm2jml ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/vdm2jml/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Maven Plugin 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ codegen-plugin ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/codegen-maven-plugin/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The VDM to Isabelle Translator 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ isagen ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/codegen/isagen/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building POG - Isagen Integration 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ isapog ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/core/isapog/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Documentation 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ documentation ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture release notes 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ releasenotes ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/documentation/releasenotes/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Top-level 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ ide ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.core 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.core ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/core/target
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/core/jars (includes = [], excludes = [])
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.ui 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.ui ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/ui/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Parsers 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.parsers ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.parsers.vdmj 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.parsers.vdmj ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/parsers/vdmj/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Builders 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.builders ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.builders.vdmj 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.builders.vdmj ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/builders/vdmj/target
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/builders/vdmj/jars (includes = [], excludes = [])
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.debug 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.debug ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/debug/target
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/debug/jars (includes = [], excludes = [])
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE VDM-SL top level 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmsl ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmsl.core 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmsl.core ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmsl/core/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmsl.ui 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmsl.ui ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmsl/ui/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmsl.debug 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmsl.debug ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmsl/debug/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE VDM-PP Top-level 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmpp ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmpp.core 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmpp.core ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmpp/core/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmpp.ui 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmpp.ui ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmpp/ui/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmpp.debug 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmpp.debug ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmpp/debug/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE VDM-RT (RealTime) Top-level 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmrt ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmrt.core 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmrt.core ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmrt/core/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmrt.ui 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmrt.ui ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmrt/ui/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.vdmrt.debug 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.vdmrt.debug ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/vdmrt/debug/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.help 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.help ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/help/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE core plugins GUI 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.plugins.coverageeditor 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.coverageeditor ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/coverageeditor/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.plugins.csk 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.csk ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/csk/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.plugins.quickinterpreter 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.quickinterpreter ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/quickinterpreter/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.plugins.externaleditor 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.externaleditor ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/externaleditor/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.plugins.latex 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.latex ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/latex/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.plugins.poviewer 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.poviewer ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/poviewer/target
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/poviewer/jars (includes = [], excludes = [])
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Combinatorial Testing 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.combinatorialtesting ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/combinatorialtesting/target
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/combinatorialtesting/jars (includes = [], excludes = [])
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Developer Utilities for Overture 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.developerutils ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/developerutils/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building UML2 Translator 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.uml2 ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2/target
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/uml2/jars (includes = [], excludes = [])
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building RT Trace Viewer Plugin 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.rttraceviewer ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/rttraceviewer/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building The Java Code Generator Plugin 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.javagen ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/javagen/target
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/javagen/jars (includes = [], excludes = [])
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse plugin features 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Coverage Editor feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.coverageeditor ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/coverageeditor/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse CSK VDM Tools Link feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.csk ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/csk/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Combinatorial Testing feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.combinatorialtesting ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/combinatorialtesting/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Developer Utilities feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.developerutils ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/developerutils/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse LaTeX Creator feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.latex ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/latex/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Proof Obligation Viewer feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.poviewer ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/poviewer/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse VDM Quick Interpreter feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.quickinterpreter ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/quickinterpreter/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse plugin uml2 feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.uml2 ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/uml2/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Realtime Trace Viewer feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.rttraceviewer ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/rttraceviewer/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse Java Code Generator feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.plugins.features.javagen ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/plugins/features/javagen/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.platform 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.platform ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/platform/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse features 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ features ---
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse core feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.features.core ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/features/core/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Eclipse rcp feature 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.features.rcp ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/features/rcp/target
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building Overture IDE Standalone Product 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:3.0.0:clean (default-clean) @ org.overture.ide.product ---
[INFO] Deleting /var/lib/jenkins/workspace/overture-test/ide/product/target
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] The Overture Tool Platform root ................... SUCCESS [0.108s]
[INFO] Overture External Resources ....................... SUCCESS [0.004s]
[INFO] Core Tools ........................................ SUCCESS [0.039s]
[INFO] The Overture Abstract Syntax Tree ................. SUCCESS [0.037s]
[INFO] Test Framework for Overture ....................... SUCCESS [0.006s]
[INFO] The VDM parser .................................... SUCCESS [0.020s]
[INFO] The VDM Type Checker .............................. SUCCESS [0.089s]
[INFO] Overture Testing .................................. SUCCESS [0.001s]
[INFO] Overture Testing Framework ........................ SUCCESS [0.004s]
[INFO] Overture Sample Tests ............................. SUCCESS [0.127s]
[INFO] VDM Pretty Printing ............................... SUCCESS [0.002s]
[INFO] The VDM Pretty Printer ............................ SUCCESS [0.011s]
[INFO] The Proof Obligation Generator .................... SUCCESS [0.024s]
[INFO] The VDM Interpreter ............................... SUCCESS [0.134s]
[INFO] Combinatorial Testing ............................. SUCCESS [0.002s]
[INFO] Combinatorial Testing Utilities ................... SUCCESS [0.004s]
[INFO] Combinatorial Testing Runtime ..................... SUCCESS [0.011s]
[INFO] New Pretty Printer ................................ SUCCESS [0.010s]
[INFO] Overture Core Command Line Tool ................... SUCCESS [0.002s]
[INFO] Code Generation ................................... SUCCESS [0.002s]
[INFO] The Intermediate Representation Tree .............. SUCCESS [0.023s]
[INFO] The Code Generation Platform ...................... SUCCESS [0.029s]
[INFO] The Java Code Generator Runtime ................... SUCCESS [0.033s]
[INFO] The Java Code Generator Testing ................... SUCCESS [0.007s]
[INFO] The Java Code Generator ........................... SUCCESS [0.109s]
[INFO] The VDM to JML Generator Runtime .................. SUCCESS [0.008s]
[INFO] The VDM to JML Generator .......................... SUCCESS [0.058s]
[INFO] The Java Code Generator Maven Plugin .............. SUCCESS [0.171s]
[INFO] The VDM to Isabelle Translator .................... SUCCESS [0.015s]
[INFO] POG - Isagen Integration .......................... SUCCESS [0.004s]
[INFO] Documentation ..................................... SUCCESS [0.001s]
[INFO] The Overture release notes ........................ SUCCESS [0.005s]
[INFO] Overture IDE Top-level ............................ SUCCESS [0.032s]
[INFO] org.overture.ide.core ............................. SUCCESS [0.017s]
[INFO] org.overture.ide.ui ............................... SUCCESS [0.015s]
[INFO] Overture IDE Parsers .............................. SUCCESS [0.002s]
[INFO] org.overture.ide.parsers.vdmj ..................... SUCCESS [0.002s]
[INFO] Overture IDE Builders ............................. SUCCESS [0.002s]
[INFO] org.overture.ide.builders.vdmj .................... SUCCESS [0.003s]
[INFO] org.overture.ide.debug ............................ SUCCESS [0.028s]
[INFO] Overture IDE VDM-SL top level ..................... SUCCESS [0.001s]
[INFO] org.overture.ide.vdmsl.core ....................... SUCCESS [0.007s]
[INFO] org.overture.ide.vdmsl.ui ......................... SUCCESS [0.006s]
[INFO] org.overture.ide.vdmsl.debug ...................... SUCCESS [0.007s]
[INFO] Overture IDE VDM-PP Top-level ..................... SUCCESS [0.001s]
[INFO] org.overture.ide.vdmpp.core ....................... SUCCESS [0.005s]
[INFO] org.overture.ide.vdmpp.ui ......................... SUCCESS [0.003s]
[INFO] org.overture.ide.vdmpp.debug ...................... SUCCESS [0.002s]
[INFO] Overture IDE VDM-RT (RealTime) Top-level .......... SUCCESS [0.001s]
[INFO] org.overture.ide.vdmrt.core ....................... SUCCESS [0.002s]
[INFO] org.overture.ide.vdmrt.ui ......................... SUCCESS [0.003s]
[INFO] org.overture.ide.vdmrt.debug ...................... SUCCESS [0.003s]
[INFO] org.overture.ide.help ............................. SUCCESS [0.043s]
[INFO] Overture IDE core plugins GUI ..................... SUCCESS [0.001s]
[INFO] org.overture.ide.plugins.coverageeditor ........... SUCCESS [0.005s]
[INFO] org.overture.ide.plugins.csk ...................... SUCCESS [0.002s]
[INFO] org.overture.ide.plugins.quickinterpreter ......... SUCCESS [0.002s]
[INFO] org.overture.ide.plugins.externaleditor ........... SUCCESS [0.001s]
[INFO] org.overture.ide.plugins.latex .................... SUCCESS [0.002s]
[INFO] org.overture.ide.plugins.poviewer ................. SUCCESS [0.002s]
[INFO] Combinatorial Testing ............................. SUCCESS [0.004s]
[INFO] Developer Utilities for Overture .................. SUCCESS [0.002s]
[INFO] UML2 Translator ................................... SUCCESS [0.002s]
[INFO] RT Trace Viewer Plugin ............................ SUCCESS [0.003s]
[INFO] The Java Code Generator Plugin .................... SUCCESS [0.002s]
[INFO] Overture IDE Eclipse plugin features .............. SUCCESS [0.001s]
[INFO] Overture IDE Eclipse Coverage Editor feature ...... SUCCESS [0.001s]
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature ... SUCCESS [0.001s]
[INFO] Overture IDE Eclipse Combinatorial Testing feature SUCCESS [0.000s]
[INFO] Overture IDE Eclipse Developer Utilities feature .. SUCCESS [0.001s]
[INFO] Overture IDE Eclipse LaTeX Creator feature ........ SUCCESS [0.001s]
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature SUCCESS [0.001s]
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature SUCCESS [0.001s]
[INFO] Overture IDE Eclipse plugin uml2 feature .......... SUCCESS [0.001s]
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature SUCCESS [0.001s]
[INFO] Overture IDE Eclipse Java Code Generator feature .. SUCCESS [0.001s]
[INFO] org.overture.ide.platform ......................... SUCCESS [0.008s]
[INFO] Overture IDE Eclipse features ..................... SUCCESS [0.001s]
[INFO] Overture IDE Eclipse core feature ................. SUCCESS [0.001s]
[INFO] Overture IDE Eclipse rcp feature .................. SUCCESS [0.005s]
[INFO] Overture IDE Standalone Product ................... SUCCESS [0.318s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 3.496s
[INFO] Finished at: Tue Mar 05 10:31:13 CET 2019
[INFO] Final Memory: 29M/351M
[INFO] ------------------------------------------------------------------------
[Set GitHub commit status (universal)] PENDING on repos [GHRepository@a86dc64[description=The Overture Tool,homepage=http://overturetool.org,name=overture,fork=false,size=213956,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-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], 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, 05 Mar 2019 09:31:13 GMT], ETag=[W/"88d1b3e8fb994ccac8c57dbe610bc469"], Last-Modified=[Thu, 28 Feb 2019 09:00:09 GMT], OkHttp-Received-Millis=[1551778273708], OkHttp-Response-Source=[CONDITIONAL_CACHE 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1551778273488], 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], 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=[B220:6DE4:2896D23:53B8E1A:5C7E41D4], X-OAuth-Scopes=[read:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4999], X-RateLimit-Reset=[1551781873], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/overturetool/overture,id=14611005]] (sha:4a78623) with context:overture-test
Setting commit status on GitHub for https://github.com/overturetool/overture/commit/4a78623dcab00a126191df079b905a942ab227c5
Parsing POMs
Modules changed, recalculating dependency graph
Established TCP socket on 33839
[overture-test] $ java -Xmx1024m -XX:MaxPermSize=256M -Djava.awt.headless=true -cp /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-agent-1.12-alpha-1.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-3.7.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven31-interceptor-1.12-alpha-1.jar /var/lib/jenkins/plugins/maven-plugin/WEB-INF/lib/maven3-interceptor-commons-1.12-alpha-1.jar 33839
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
<===[JENKINS REMOTING CAPACITY]===>