SuccessConsole Output

Established TCP socket on 42023
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
<===[JENKINS REMOTING CAPACITY]===>channel started
Executing Maven:  -B -f /var/lib/jenkins/workspace/overture-development/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-development/.repository -s /var/lib/jenkins/internal-resources/settings.xml install -PWith-IDE -Pall-platforms -P!linux64 -DexternalTestsPath=/var/lib/jenkins/internal-resources/externaltests/ -P!ui-tests -Pforce-download-externals -Pcodesigning
[INFO] Scanning for projects...
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/core/pom.xml
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-12/ (122B)
[INFO] Adding repository http://download.eclipse.org/releases/2020-12
[INFO] Fetching compositeContent.jar from http://download.eclipse.org/releases/2020-12/ (494B)
[INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/2020-12/ (128B)
[INFO] Fetching compositeContent.jar from http://download.eclipse.org/technology/epp/packages/2020-12/ (437B)
[INFO] I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {}->http://download.eclipse.org:80: The target server failed to respond
[INFO] Retrying request to {}->http://download.eclipse.org:80
[INFO] Fetching content.jar from http://download.eclipse.org/technology/epp/packages/2020-12/202011261200/ (105.51kB)
[INFO] Fetching content.jar from http://download.eclipse.org/technology/epp/packages/2020-12/202012031300/ (115.18kB)
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-12/202012041000/ (140B)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-12/202012041000/ (821.64kB)
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-12/202011271000/ (140B)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-12/202011271000/ (813.87kB)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-12/202011271000/ (762.53kB of 813.87kB at 753.19kB/s)
[INFO] I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {}->http://download.eclipse.org:80: The target server failed to respond
[INFO] Retrying request to {}->http://download.eclipse.org:80
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-12/202011061000/ (142B)
[INFO] I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {}->http://download.eclipse.org:80: The target server failed to respond
[INFO] Retrying request to {}->http://download.eclipse.org:80
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-12/202010161000/ (142B)
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/core/pom.xml
[INFO] I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {}->http://download.eclipse.org:80: The target server failed to respond
[INFO] Retrying request to {}->http://download.eclipse.org:80
[INFO] Fetching 202012041000&countryCode=gb&timeZone=1&format=xml from http://www.eclipse.org/downloads/download.php?format=xml&file=/releases/2020-12/
[INFO] I/O exception (java.net.NoRouteToHostException) caught when processing request to {s}->https://mirror.nbtelecom.com.br:443: No route to host (Host unreachable)
[INFO] Retrying request to {s}->https://mirror.nbtelecom.com.br:443
[INFO] Fetching org.eclipse.osgi_3.16.100.v20201030-1916.jar.pack.gz from https://mirror.nbtelecom.com.br/eclipse/releases/2020-12/202012041000/plugins/ (468.96kB)
[INFO] Fetching org.eclipse.osgi_3.16.100.v20201030-1916.jar.pack.gz from https://mirror.nbtelecom.com.br/eclipse/releases/2020-12/202012041000/plugins/ (116kB of 468.96kB at 112kB/s)
[INFO] Fetching org.eclipse.osgi_3.16.100.v20201030-1916.jar.pack.gz from https://mirror.nbtelecom.com.br/eclipse/releases/2020-12/202012041000/plugins/ (468.96kB)
[INFO] Fetching org.eclipse.osgi_3.16.100.v20201030-1916.jar.pack.gz from https://mirror.nbtelecom.com.br/eclipse/releases/2020-12/202012041000/plugins/ (388kB of 468.96kB at 32kB/s)
[INFO] Fetching org.eclipse.osgi_3.16.100.v20201030-1916.jar.pack.gz from https://mirror.nbtelecom.com.br/eclipse/releases/2020-12/202012041000/plugins/ (468.96kB)
[INFO] Fetching org.eclipse.equinox.preferences_3.8.100.v20201102-2042.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (55.6kB)
[INFO] Fetching org.eclipse.equinox.registry_3.10.0.v20201107-1818.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (77.18kB)
[INFO] Fetching org.eclipse.equinox.common_3.14.0.v20201102-2053.jar.pack.gz from https://mirror.nbtelecom.com.br/eclipse/releases/2020-12/202012041000/plugins/ (59.04kB)
[INFO] Fetching org.eclipse.core.resources_3.13.900.v20201105-1507.jar from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (875.9kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/ui/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/ui/pom.xml
[INFO] Fetching org.eclipse.ui_3.118.100.v20201123-0719.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (339.74kB)
[INFO] Fetching org.eclipse.jface.text_3.16.500.v20201112-1545.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (316.84kB)
[INFO] Fetching org.eclipse.ui.ide_3.18.0.v20201119-1132.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (949.75kB)
[INFO] Fetching org.eclipse.ui.workbench.texteditor_3.15.100.v20201116-1727.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (239.2kB)
[INFO] Fetching org.eclipse.core.filebuffers_3.6.1100.v20201029-1159.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (41.14kB)
[INFO] Fetching org.eclipse.debug.core_3.17.0.v20201109-1948.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (125.99kB)
[INFO] Fetching org.eclipse.e4.core.commands_0.13.0.v20201119-1132.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (13.78kB)
[INFO] Fetching org.eclipse.swt_3.115.100.v20201125-2302.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (16.02kB)
[INFO] Fetching org.eclipse.jface_3.22.0.v20201106-0834.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (361.85kB)
[INFO] Fetching org.eclipse.e4.ui.bindings_0.13.0.v20201119-1132.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (23.02kB)
[INFO] Fetching org.eclipse.e4.ui.css.swt_0.14.0.v20201103-0952.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202012041000/plugins/ (65.7kB)
[INFO] Fetching org.eclipse.e4.ui.dialogs_1.2.100.v20201109-2317.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (27.64kB)
[INFO] Fetching org.eclipse.e4.ui.workbench_1.12.0.v20201119-1132.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (84.41kB)
[INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt_0.15.0.v20201125-0918.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202012041000/plugins/ (94.41kB)
[INFO] Fetching org.eclipse.e4.ui.workbench.swt_0.15.0.v20201103-0952.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202012041000/plugins/ (62.44kB)
[INFO] Fetching org.eclipse.e4.ui.workbench.addons.swt_1.4.0.v20201119-1132.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (49.8kB)
[INFO] Fetching org.eclipse.urischeme_1.1.200.v20201104-0938.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (23.69kB)
[INFO] Fetching org.eclipse.jface.notifications_0.2.100.v20201103-1115.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (14.63kB)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_64_3.115.100.v20201125-2302.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (1.1MB)
[INFO] Fetching org.eclipse.ui.workbench_3.122.0.v20201122-1345.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (961.46kB)
[INFO] Fetching org.eclipse.swt.gtk.linux.x86_64_3.115.100.v20201125-2302.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (969.1kB)
[INFO] Fetching org.eclipse.swt.cocoa.macosx.x86_64_3.115.100.v20201125-2302.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (861.67kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/ui/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/parsers/vdmj/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/parsers/vdmj/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/parsers/vdmj/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/builders/vdmj/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/debug/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/debug/pom.xml
[INFO] Fetching org.eclipse.debug.ui_3.14.700.v20201123-0650.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (1,019kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/debug/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/core/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/ui/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/ui/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/ui/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/debug/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/debug/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmsl/debug/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/core/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/ui/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/ui/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/ui/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/debug/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/debug/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmpp/debug/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/core/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/ui/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/ui/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/ui/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/debug/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/debug/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/vdmrt/debug/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/help/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/help/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/help/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/coverageeditor/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/coverageeditor/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/coverageeditor/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/csk/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/csk/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/csk/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/quickinterpreter/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/quickinterpreter/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/quickinterpreter/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/externaleditor/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/externaleditor/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/externaleditor/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/latex/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/latex/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/latex/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/poviewer/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/combinatorialtesting/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/developerutils/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/developerutils/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/developerutils/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/uml2/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/rttraceviewer/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/rttraceviewer/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/rttraceviewer/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/pom.xml
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201123-0742.jar from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (6.89MB)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201123-0742.jar from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (1.05MB of 6.89MB at 1.05MB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201123-0742.jar from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (3.68MB of 6.89MB at 1.8MB/s)
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/pom.xml
[INFO] Fetching org.eclipse.ui.ide.application_1.3.900.v20201102-2031.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (55.55kB)
[INFO] Fetching org.eclipse.ui.intro_3.6.0.v20201120-1551.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (141.91kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/csk/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/csk/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/csk/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/combinatorialtesting/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/combinatorialtesting/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/combinatorialtesting/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/developerutils/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/developerutils/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/developerutils/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/latex/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/latex/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/latex/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/poviewer/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/poviewer/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/poviewer/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/quickinterpreter/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/rttraceviewer/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/rttraceviewer/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/rttraceviewer/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/javagen/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/javagen/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/javagen/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/platform/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/platform/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/platform/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/core/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/core/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/rcp/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/rcp/pom.xml
[INFO] Fetching org.apache.ant_1.10.9.v20201106-1946.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (2.85MB)
[INFO] Fetching org.eclipse.core.externaltools_1.1.800.v20201105-0600.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (20.85kB)
[INFO] Fetching org.eclipse.e4.ui.swt.win32_1.1.0.v20201119-1132.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (7.89kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.win32.win32.x86_64_3.115.100.v20201125-2302.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (682.97kB)
[INFO] Fetching org.eclipse.e4.rcp_4.18.0.v20201125-2302.jar from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/features/ (21.02kB)
[INFO] Fetching org.eclipse.equinox.http.servlet_1.6.700.v20201109-1600.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (76.75kB)
[INFO] Fetching org.eclipse.jetty.http_9.4.34.v20201102.jar from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (223.06kB)
[INFO] Fetching org.eclipse.jetty.server_9.4.34.v20201102.jar from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (725.76kB)
[INFO] Fetching org.eclipse.jetty.servlet_9.4.34.v20201102.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (145.43kB)
[INFO] Fetching org.eclipse.jetty.util_9.4.34.v20201102.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (587.19kB)
[INFO] Fetching org.eclipse.equinox.p2.console_1.1.400.v20201106-0859.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (17.96kB)
[INFO] Fetching org.eclipse.equinox.p2.operations_2.5.1000.v20201106-1246.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (31.94kB)
[INFO] Fetching org.eclipse.equinox.p2.core.feature_1.6.800.v20201106-1246.jar from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/features/ (19.66kB)
[INFO] Fetching org.eclipse.equinox.p2.extras.feature_1.4.1000.v20201106-1246.jar from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/features/ (19.11kB)
[INFO] Fetching org.eclipse.equinox.p2.rcp.feature_1.4.1000.v20201106-1246.jar from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/features/ (19.03kB)
[INFO] Fetching org.eclipse.equinox.p2.user.ui_2.4.1000.v20201106-1246.jar from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/features/ (18.9kB)
[INFO] Fetching org.eclipse.help.base_4.3.100.v20201125-1800.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (164.02kB)
[INFO] Fetching org.eclipse.help.webapp_3.10.100.v20201103-1703.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (308.18kB)
[INFO] Fetching org.eclipse.jetty.continuation_9.4.34.v20201102.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (31.76kB)
[INFO] Fetching org.eclipse.jetty.io_9.4.34.v20201102.jar from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (175.73kB)
[INFO] Fetching org.eclipse.jetty.security_9.4.34.v20201102.jar from https://ftp.linux.org.tr/eclipse//releases/2020-12/202012041000/plugins/ (126.49kB)
[INFO] Fetching org.eclipse.help_2.3.400.v20201125-1800.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/features/ (19.53kB)
[INFO] Fetching org.eclipse.platform_4.18.0.v20201125-1800.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (425.09kB)
[INFO] Fetching org.eclipse.platform.doc.user_4.18.0.v20201112-0755.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (6.44MB)
[INFO] Fetching org.eclipse.platform.doc.user_4.18.0.v20201112-0755.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (2.34MB of 6.44MB at 2.34MB/s)
[INFO] Fetching org.eclipse.search_3.12.100.v20201116-1027.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (214.49kB)
[INFO] Fetching org.eclipse.ui.externaltools_3.4.900.v20201105-0600.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (65.62kB)
[INFO] Fetching org.eclipse.ui.themes_1.2.1200.v20201112-1139.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (30.26kB)
[INFO] Fetching org.eclipse.platform_4.18.0.v20201125-2302.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/features/ (20.58kB)
[INFO] Fetching org.eclipse.platform_root_4.18.0.v20201125-2302 from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/binary/ (196B)
[INFO] Fetching org.eclipse.rcp_4.18.0.v20201125-1800.jar.pack.gz from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/plugins/ (9.4kB)
[INFO] Fetching org.eclipse.rcp_4.18.0.v20201125-2302.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/features/ (19.08kB)
[INFO] Fetching org.eclipse.rcp_root_4.18.0.v20201125-2302 from https://mirrors.dotsrc.org/eclipse//releases/2020-12/202012041000/binary/ (25.59kB)
[INFO] Fetching org.eclipse.e4.ui.swt.gtk_1.1.0.v20201119-1132.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202012041000/plugins/ (7.96kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.gtk.linux.x86_64_3.115.100.v20201125-2302.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (923.68kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.cocoa.macosx.x86_64_3.115.100.v20201125-2302.jar.pack.gz from https://eclipse.mirror.liteserver.nl/releases/2020-12/202012041000/plugins/ (651.67kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/rcp/pom.xml
[INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/product/pom.xml
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/product/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.3-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/product/pom.xml
[INFO] Initializing Artifactory Build-Info Recording
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Build Order:
[INFO] 
[INFO] The Overture Tool Platform root
[INFO] Overture External Resources
[HUDSON] Collecting dependencies info
[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] VDM Annotations
[INFO] Provided Annotations
[INFO] Annotation Examples
[INFO] Documentation
[INFO] The Overture release notes
[INFO] Overture IDE Top-level
[INFO] org.overture.ide.core
[INFO] Overture IDE Builders
[INFO] org.overture.ide.builders.vdmj
[INFO] org.overture.ide.ui
[INFO] Overture IDE Parsers
[INFO] org.overture.ide.parsers.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.externaleditor
[INFO] org.overture.ide.plugins.coverageeditor
[INFO] org.overture.ide.plugins.csk
[INFO] org.overture.ide.plugins.quickinterpreter
[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] org.overture.ide.platform
[INFO] Overture IDE Eclipse features
[INFO] Overture IDE Eclipse core feature
[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] Overture IDE Eclipse rcp feature
[INFO] Overture IDE Standalone Product
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[HUDSON] Collecting dependencies info
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture Tool Platform root 3.0.3-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root ---
[WARNING] Attempt to (de-)serialize anonymous class hudson.plugins.analysis.core.HealthAwareReporter$2; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/
[WARNING] Attempt to (de-)serialize anonymous class hudson.plugins.analysis.core.HealthAwareReporter$3; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development' for files matching the pattern '**/*.java' - excludes: externals/**/*, core/**/*, documentation/**/*, ide/**/*
[TASKS] Found 0 files to scan for tasks
Found 0 open tasks.
[WARNING] Attempt to (de-)serialize anonymous class hudson.plugins.analysis.core.HealthAwareReporter$1; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/
[TASKS] Computing warning deltas based on reference build #286
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-development/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ root ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-development/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ root ---
[INFO] 0 archive(s) processed
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ root ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/root/3.0.3-SNAPSHOT/root-3.0.3-SNAPSHOT.pom
[WARNING] Attempt to (de-)serialize anonymous class org.jfrog.hudson.maven2.MavenDependenciesRecorder$1; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/