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/