SuccessConsole Output

Established TCP socket on 34975
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.1-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/core/pom.xml
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-09/
[INFO] Adding repository http://download.eclipse.org/releases/2020-09
[INFO] Fetching compositeContent.jar from http://download.eclipse.org/releases/2020-09/ (494B)
[INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/2020-09/
[INFO] Fetching compositeContent.jar from http://download.eclipse.org/technology/epp/packages/2020-09/ (425B)
[INFO] Fetching content.jar from http://download.eclipse.org/technology/epp/packages/2020-09/RC1/ (89.45kB)
[INFO] Fetching content.jar from http://download.eclipse.org/technology/epp/packages/2020-09/RC1/ (65.16kB of 89.45kB at 61.16kB/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-09/202009041000/
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (9.53kB at 9.03kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (36.23kB at 17.86kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (49.57kB at 15.47kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (61.6kB at 14.94kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (86.96kB at 14.09kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (108.33kB at 19.49kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (125.69kB at 16.56kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (151.05kB at 16.82kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (173.76kB at 21.9kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (216.48kB at 22.16kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (261.87kB at 28.57kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (284.58kB at 30.44kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (292.58kB at 24.57kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (320.62kB at 26.44kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (367.36kB at 27.5kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (383.38kB at 24.3kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (419.42kB at 21.9kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (428.77kB at 25.9kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (446.14kB at 24.3kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (456.81kB at 18.43kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (483.51kB at 15.49kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (495.54kB at 18.69kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (508.89kB at 14.69kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (530.25kB at 15.49kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (560.96kB at 19.23kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (609.03kB at 19.23kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (659.76kB at 23.5kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (703.83kB at 33.11kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (730.53kB at 34.72kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (753.23kB at 34.18kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (778.6kB at 30.18kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (802.63kB at 23.5kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-09/202009041000/ (810.64kB at 17.89kB/s)
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-09/202008281000/
[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-09/202008071000/
[INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.1-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/core/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.1-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.1-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.1-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/ui/pom.xml
[INFO] Fetching 202009041000&countryCode=gb&timeZone=1&format=xml from http://www.eclipse.org/downloads/download.php?format=xml&file=/releases/2020-09/
[INFO] Fetching org.eclipse.swt_3.115.0.v20200826-1002.jar.pack.gz from http://eclipse.c3sl.ufpr.br/releases/2020-09/202009041000/plugins/ (16.02kB)
[INFO] Fetching org.eclipse.jface_3.21.0.v20200821-1458.jar.pack.gz from http://eclipse.c3sl.ufpr.br/releases/2020-09/202009041000/plugins/ (363.19kB)
[INFO] Fetching org.eclipse.jface_3.21.0.v20200821-1458.jar.pack.gz from http://eclipse.c3sl.ufpr.br/releases/2020-09/202009041000/plugins/ (270.95kB of 363.19kB at 266.95kB/s)
[INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt_0.14.1300.v20200821-1124.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (94.58kB)
[INFO] Fetching org.eclipse.emf.common_2.20.0.v20200822-0801.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (114.54kB)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_64_3.115.0.v20200826-1002.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (1.1MB)
[INFO] Fetching org.eclipse.ui.workbench_3.120.0.v20200824-1347.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2020-09/202009041000/plugins/ (966.88kB)
[INFO] Fetching org.eclipse.swt.gtk.linux.x86_64_3.115.0.v20200826-1002.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (958.3kB)
[INFO] Fetching org.eclipse.swt.cocoa.macosx.x86_64_3.115.0.v20200826-1002.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2020-09/202009041000/plugins/ (833.33kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/debug/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/javagen/pom.xml
[INFO] Fetching org.eclipse.jdt.core_3.23.0.v20200824-0559.jar from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (6.83MB)
[INFO] Fetching org.eclipse.jdt.core_3.23.0.v20200824-0559.jar from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (1.18MB of 6.83MB at 1.18MB/s)
[INFO] Fetching org.eclipse.jdt.core_3.23.0.v20200824-0559.jar from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (2.62MB of 6.83MB at 1.29MB/s)
[INFO] Fetching org.eclipse.jdt.core_3.23.0.v20200824-0559.jar from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (3.94MB of 6.83MB at 1.3MB/s)
[INFO] Fetching org.eclipse.jdt.core_3.23.0.v20200824-0559.jar from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (4.96MB of 6.83MB at 1.23MB/s)
[INFO] Fetching org.eclipse.jdt.core_3.23.0.v20200824-0559.jar from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (5.93MB of 6.83MB at 1.17MB/s)
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.1-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.1-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.1-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/coverageeditor/pom.xml
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/plugins/features/uml2/pom.xml
[INFO] Fetching org.eclipse.emf.common_2.20.0.v20200822-0801.jar from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/features/ (19.03kB)
[INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-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.1-SNAPSHOT @ /var/lib/jenkins/workspace/overture-development/ide/features/rcp/pom.xml
[INFO] Fetching org.eclipse.swt.browser.chromium.win32.win32.x86_64_3.115.0.v20200826-1002.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (683.65kB)
[INFO] Fetching org.eclipse.e4.rcp_4.17.0.v20200826-1002.jar from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/features/ (21.08kB)
[INFO] Fetching org.eclipse.help.base_4.3.0.v20200826-1800.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (164.03kB)
[INFO] Fetching org.eclipse.help_2.3.300.v20200826-1800.jar from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/features/ (19.51kB)
[INFO] Fetching org.eclipse.platform_4.17.0.v20200826-1800.jar.pack.gz from http://eclipse.c3sl.ufpr.br/releases/2020-09/202009041000/plugins/ (425.23kB)
[INFO] Fetching org.eclipse.platform_4.17.0.v20200826-1800.jar.pack.gz from http://eclipse.c3sl.ufpr.br/releases/2020-09/202009041000/plugins/ (102.62kB of 425.23kB at 98.62kB/s)
[INFO] Fetching org.eclipse.platform_4.17.0.v20200826-1800.jar.pack.gz from http://eclipse.c3sl.ufpr.br/releases/2020-09/202009041000/plugins/ (385.84kB of 425.23kB at 168.88kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (8.69MB)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (495.3kB of 8.69MB at 491.3kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (881.39kB of 8.69MB at 438.69kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (1.21MB of 8.69MB at 398.89kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (1.61MB of 8.69MB at 400.7kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (1.96MB of 8.69MB at 391.9kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (2.36MB of 8.69MB at 366.85kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (2.79MB of 8.69MB at 374.86kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (3.27MB of 8.69MB at 404.25kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (3.79MB of 8.69MB at 426.7kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (4.11MB of 8.69MB at 429.1kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (4.36MB of 8.69MB at 408.8kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (4.56MB of 8.69MB at 370.33kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (4.79MB of 8.69MB at 316.62kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (5.09MB of 8.69MB at 266.39kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (5.36MB of 8.69MB at 250.62kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (5.69MB of 8.69MB at 256.77kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (6.01MB of 8.69MB at 278.41kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (6.36MB of 8.69MB at 298.71kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (6.73MB of 8.69MB at 318.75kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (7.18MB of 8.69MB at 341.2kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (7.68MB of 8.69MB at 373.26kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (8.03MB of 8.69MB at 403.19kB/s)
[INFO] Fetching org.eclipse.platform.doc.user_4.17.0.v20200826-1632.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2020-09/202009041000/plugins/ (8.39MB of 8.69MB at 409.33kB/s)
[INFO] Fetching org.eclipse.ui.monitoring_1.1.800.v20200820-1401.jar.pack.gz from https://ftp.acc.umu.se/mirror/eclipse.org/releases/2020-09/202009041000/plugins/ (27.64kB)
[INFO] Fetching org.eclipse.platform_4.17.0.v20200826-1800.jar from http://ftp.fau.de/eclipse/releases/2020-09/202009041000/features/ (20.59kB)
[INFO] Fetching org.eclipse.platform_root_4.17.0.v20200826-1800 from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2020-09/202009041000/binary/ (196B)
[INFO] Fetching org.eclipse.rcp_4.17.0.v20200826-1800.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (9.4kB)
[INFO] Fetching org.eclipse.rcp_4.17.0.v20200826-1800.jar from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/features/ (19.09kB)
[INFO] Fetching org.eclipse.rcp_root_4.17.0.v20200826-1800 from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/binary/ (25.54kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.gtk.linux.x86_64_3.115.0.v20200826-1002.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (741.14kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.cocoa.macosx.x86_64_3.115.0.v20200826-1002.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (655.71kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.cocoa.macosx.x86_64_3.115.0.v20200826-1002.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2020-09/202009041000/plugins/ (392.36kB of 655.71kB at 389.69kB/s)
[INFO] Resolving class path of MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.1-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.1-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.1-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.1-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
[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] Reactor Build Order:
[INFO] 
[INFO] The Overture Tool Platform root
[INFO] Overture External Resources
[INFO] Core Tools
[INFO] The Overture Abstract Syntax Tree
[INFO] Test Framework for Overture
[INFO] The VDM parser
[INFO] The VDM Type Checker
[INFO] Overture Testing
[INFO] Overture Testing Framework
[INFO] Overture Sample Tests
[INFO] VDM Pretty Printing
[INFO] The VDM Pretty Printer
[INFO] The Proof Obligation Generator
[INFO] The VDM Interpreter
[INFO] Combinatorial Testing
[INFO] Combinatorial Testing Utilities
[INFO] Combinatorial Testing Runtime
[INFO] New Pretty Printer
[INFO] Overture Core Command Line Tool
[INFO] Code Generation
[INFO] The Intermediate Representation Tree
[INFO] The Code Generation Platform
[INFO] The Java Code Generator Runtime
[INFO] The Java Code Generator Testing
[INFO] The Java Code Generator
[INFO] The VDM to JML Generator Runtime
[INFO] The VDM to JML Generator
[INFO] The Java Code Generator Maven Plugin
[INFO] The VDM to Isabelle Translator
[INFO] POG - Isagen Integration
[INFO] 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
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building The Overture Tool Platform root 3.0.1-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 #271
[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.1-SNAPSHOT/root-3.0.1-SNAPSHOT.pom
[WARNING] Attempt to (de-)serialize anonymous class org.jfrog.hudson.maven2.MavenDependenciesRecorder$1; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/