Console Output
Established TCP socket on 39541
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/ (488B)
[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/ (425B)
[INFO] Fetching content.jar from http://download.eclipse.org/technology/epp/packages/2020-12/202010151200/ (120.18kB)
[INFO] Fetching content.jar from http://download.eclipse.org/technology/epp/packages/2020-12/202011051200/ (109.78kB)
[INFO] Fetching p2.index from http://download.eclipse.org/releases/2020-12/202011061000/ (142B)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-12/202011061000/ (815.61kB)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-12/202011061000/ (651.65kB of 815.61kB at 647.65kB/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/202010161000/ (142B)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-12/202010161000/ (815.05kB)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-12/202010161000/ (257.55kB of 815.05kB at 253.55kB/s)
[INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2020-12/202010161000/ (592.87kB of 815.05kB at 295.1kB/s)
[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 202011061000&countryCode=gb&timeZone=1&format=xml from http://www.eclipse.org/downloads/download.php?format=xml&file=/releases/2020-12/
[INFO] Fetching org.eclipse.osgi_3.16.100.v20201024-1459.jar.pack.gz from https://eclipse.c3sl.ufpr.br/releases/2020-12/202011061000/plugins/ (468.59kB)
[INFO] Fetching org.eclipse.osgi_3.16.100.v20201024-1459.jar.pack.gz from https://eclipse.c3sl.ufpr.br/releases/2020-12/202011061000/plugins/ (298.5kB of 468.59kB at 170.5kB/s)
[INFO] Fetching org.eclipse.equinox.preferences_3.8.100.v20201027-1107.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (55.37kB)
[INFO] Fetching org.eclipse.equinox.registry_3.10.0.v20200929-1802.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (77.17kB)
[INFO] Fetching org.eclipse.equinox.common_3.14.0.v20200929-1802.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (58.54kB)
[INFO] Fetching org.eclipse.core.runtime_3.20.0.v20201027-1526.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (33.44kB)
[INFO] Fetching org.eclipse.core.jobs_3.10.1000.v20200909-1312.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (46.03kB)
[INFO] Fetching org.eclipse.core.resources_3.13.900.v20201028-1137.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (875.91kB)
[INFO] Fetching org.eclipse.core.resources_3.13.900.v20201028-1137.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (787.68kB of 875.91kB at 783.68kB/s)
[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.apache.felix.scr_2.1.24.v20200924-1939.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (155.35kB)
[INFO] Fetching org.eclipse.ui_3.118.100.v20201014-0742.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (339.8kB)
[INFO] Fetching org.eclipse.jface.text_3.16.500.v20200925-0557.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (316.76kB)
[INFO] Fetching org.eclipse.ui.ide_3.18.0.v20201028-1607.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (954.39kB)
[INFO] Fetching org.eclipse.ui.ide_3.18.0.v20201028-1607.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (419.68kB of 954.39kB at 415.68kB/s)
[INFO] Fetching org.eclipse.ui.ide_3.18.0.v20201028-1607.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (771.68kB of 954.39kB at 367.84kB/s)
[INFO] Fetching org.eclipse.ui.views_3.10.500.v20201021-1339.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (48.23kB)
[INFO] Fetching org.eclipse.ui.workbench.texteditor_3.15.100.v20201002-0955.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (239.01kB)
[INFO] Fetching org.eclipse.ui.workbench.texteditor_3.15.100.v20201002-0955.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (211.68kB of 239.01kB at 207.68kB/s)
[INFO] Fetching org.eclipse.ui.editors_3.13.400.v20200923-1238.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (199.9kB)
[INFO] Fetching org.eclipse.ui.forms_3.11.0.v20201025-0656.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (123.05kB)
[INFO] Fetching org.eclipse.compare.core_3.6.1000.v20201020-1107.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (32.82kB)
[INFO] Fetching org.eclipse.compare_3.7.1200.v20201020-1107.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (306.62kB)
[INFO] Fetching org.eclipse.core.commands_3.9.800.v20201021-1339.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (43.1kB)
[INFO] Fetching org.eclipse.core.databinding_1.10.100.v20200926-1123.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (56.91kB)
[INFO] Fetching org.eclipse.text_3.10.400.v20200925-0557.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (99.95kB)
[INFO] Fetching org.eclipse.core.filebuffers_3.6.1100.v20201028-1021.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (41.24kB)
[INFO] Fetching org.eclipse.debug.core_3.17.0.v20201027-2131.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (126.23kB)
[INFO] Fetching org.eclipse.e4.core.services_2.2.500.v20200928-2213.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (27.95kB)
[INFO] Fetching org.eclipse.swt_3.115.100.v20201028-2203.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (16.04kB)
[INFO] Fetching org.eclipse.e4.ui.services_1.4.0.v20201014-0944.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (13.15kB)
[INFO] Fetching org.eclipse.jface_3.22.0.v20201024-1253.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (361.82kB)
[INFO] Fetching org.eclipse.e4.ui.bindings_0.12.1000.v20201021-1339.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (23.04kB)
[INFO] Fetching org.eclipse.e4.ui.css.core_0.13.0.v20201015-0653.jar.pack.gz from https://eclipse.c3sl.ufpr.br/releases/2020-12/202011061000/plugins/ (66.15kB)
[INFO] Fetching org.eclipse.e4.ui.css.swt_0.14.0.v20201019-1714.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (65.63kB)
[INFO] Fetching org.eclipse.e4.ui.css.swt.theme_0.13.0.v20201026-1147.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (16.78kB)
[INFO] Fetching org.eclipse.e4.ui.di_1.2.900.v20201021-1339.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (9.74kB)
[INFO] Fetching org.eclipse.e4.ui.dialogs_1.2.100.v20200910-0548.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (27.61kB)
[INFO] Fetching org.eclipse.e4.ui.model.workbench_2.1.900.v20201014-0742.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (110.29kB)
[INFO] I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {s}->https://ftp.halifax.rwth-aachen.de:443: The target server failed to respond
[INFO] Retrying request to {s}->https://ftp.halifax.rwth-aachen.de:443
[INFO] Fetching org.eclipse.e4.ui.widgets_1.2.800.v20201021-1339.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (9.46kB)
[INFO] Fetching org.eclipse.e4.ui.workbench_1.11.600.v20201018-2040.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (84.16kB)
[INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt_0.15.0.v20201025-1644.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (94.39kB)
[INFO] Fetching org.eclipse.e4.ui.workbench.swt_0.15.0.v20201022-0745.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (62.46kB)
[INFO] I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {s}->https://mirror.dkm.cz:443: The target server failed to respond
[INFO] Retrying request to {s}->https://mirror.dkm.cz:443
[INFO] Fetching org.eclipse.e4.ui.workbench.addons.swt_1.3.1200.v20201021-1339.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (49.91kB)
[INFO] Fetching org.eclipse.jface.databinding_1.12.100.v20201014-0742.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (77.77kB)
[INFO] Fetching org.eclipse.e4.ui.workbench3_0.15.500.v20201021-1339.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (13.07kB)
[INFO] Fetching org.eclipse.urischeme_1.1.200.v20201028-1515.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (23.58kB)
[INFO] Fetching org.eclipse.emf.common_2.21.0.v20200917-1439.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (114.59kB)
[INFO] Fetching org.eclipse.equinox.p2.metadata_2.5.100.v20200908-1020.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (108kB)
[INFO] I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {s}->https://ftp.halifax.rwth-aachen.de:443: The target server failed to respond
[INFO] Retrying request to {s}->https://ftp.halifax.rwth-aachen.de:443
[INFO] Fetching org.eclipse.equinox.p2.repository_2.5.0.v20201013-0853.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (55.38kB)
[INFO] Fetching org.eclipse.jface.notifications_0.2.100.v20201021-1339.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (14.64kB)
[INFO] Fetching org.eclipse.ltk.core.refactoring_3.11.200.v20201027-1753.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (105.65kB)
[INFO] Fetching org.eclipse.ui.navigator_3.9.500.v20201021-1339.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (130.94kB)
[INFO] Fetching org.eclipse.team.ui_3.8.1100.v20200916-0836.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (491.71kB)
[INFO] Fetching org.eclipse.team.ui_3.8.1100.v20200916-0836.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (259.68kB of 491.71kB at 255.68kB/s)
[INFO] Fetching org.eclipse.ltk.ui.refactoring_3.11.200.v20201025-2022.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (176.88kB)
[INFO] Fetching org.eclipse.swt.win32.win32.x86_64_3.115.100.v20201028-2203.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (1.1MB)
[INFO] Fetching org.eclipse.ui.workbench_3.122.0.v20201021-0554.jar.pack.gz from https://eclipse.c3sl.ufpr.br/releases/2020-12/202011061000/plugins/ (966.95kB)
[INFO] Fetching org.eclipse.ui.workbench_3.122.0.v20201021-0554.jar.pack.gz from https://eclipse.c3sl.ufpr.br/releases/2020-12/202011061000/plugins/ (329.5kB of 966.95kB at 170.5kB/s)
[INFO] Fetching org.eclipse.ui.console_3.10.0.v20201021-1231.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (84.03kB)
[INFO] Fetching org.eclipse.ui.views.properties.tabbed_3.9.0.v20201026-0739.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (40.5kB)
[INFO] Fetching org.eclipse.ui.navigator.resources_3.7.500.v20201021-1339.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (70.55kB)
[INFO] Fetching org.eclipse.swt.gtk.linux.x86_64_3.115.100.v20201028-2203.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (963.19kB)
[INFO] Fetching org.eclipse.swt.cocoa.macosx.x86_64_3.115.100.v20201028-2203.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (861.22kB)
[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.v20201026-1244.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (1,018.19kB)
[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.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (6.89MB)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (243.68kB of 6.89MB at 239.68kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (563.68kB of 6.89MB at 271.84kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (931.68kB of 6.89MB at 298.56kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (1.35MB of 6.89MB at 327.92kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (1.86MB of 6.89MB at 364.74kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (2.33MB of 6.89MB at 406.4kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (2.8MB of 6.89MB at 444.8kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (3.39MB of 6.89MB at 483.2kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (3.99MB of 6.89MB at 518.4kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (4.66MB of 6.89MB at 547.2kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (5.39MB of 6.89MB at 601.6kB/s)
[INFO] Fetching org.eclipse.jdt.core_3.24.0.v20201028-0405.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (6.16MB of 6.89MB at 656kB/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.v20201028-1607.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (55.57kB)
[INFO] Fetching org.eclipse.ui.intro_3.5.1200.v20201020-0911.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (142.33kB)
[INFO] Fetching org.eclipse.ui.views.log_1.2.1300.v20200926-2205.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (84.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] Fetching org.eclipse.emf.common_2.21.0.v20200917-1439.jar from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/features/ (19.03kB)
[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 javax.annotation_1.3.5.v20200909-1856.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (36.66kB)
[INFO] Fetching org.apache.commons.codec_1.14.0.v20200818-1422.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (143.98kB)
[INFO] Fetching org.apache.felix.gogo.runtime_1.1.2.v20201023-1558.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (76.25kB)
[INFO] Fetching org.apache.felix.gogo.command_1.1.0.v20201023-1558.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (29.94kB)
[INFO] Fetching org.apache.felix.gogo.shell_1.1.2.v20201023-1558.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (35.29kB)
[INFO] Fetching org.apache.httpcomponents.httpclient_4.5.10.v20200830-2311.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (333.69kB)
[INFO] Fetching org.apache.httpcomponents.httpclient.win_4.5.10.v20200830-2311.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (17.3kB)
[INFO] Fetching org.eclipse.core.databinding.beans_1.7.100.v20201021-1339.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (26.28kB)
[INFO] Fetching org.eclipse.core.externaltools_1.1.800.v20200930-0845.jar.pack.gz from https://rhlx01.hs-esslingen.de/pub/Mirrors/eclipse/releases/2020-12/202011061000/plugins/ (20.84kB)
[INFO] Fetching org.eclipse.equinox.launcher_1.6.0.v20200915-1508.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (29.98kB)
[INFO] Fetching org.eclipse.osgi.compatibility.state_1.2.200.v20200915-2015.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (102.86kB)
[INFO] Fetching org.eclipse.equinox.launcher.win32.win32.x86_64_1.2.0.v20200915-1442.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (81.96kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.win32.win32.x86_64_3.115.100.v20201028-2203.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (682.99kB)
[INFO] Fetching org.eclipse.e4.rcp_4.18.0.v20201028-2203.jar from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/features/ (21.05kB)
[INFO] Fetching org.eclipse.ecf.identity_3.9.401.v20201027-0550.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (27.04kB)
[INFO] Fetching org.eclipse.ecf_3.9.101.v20201027-0547.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (48.21kB)
[INFO] Fetching org.eclipse.ecf.core.feature_1.5.701.v20201027-0550.jar from https://rhlx01.hs-esslingen.de/pub/Mirrors/eclipse/releases/2020-12/202011061000/features/ (19.72kB)
[INFO] Fetching org.eclipse.ecf.filetransfer_5.1.101.v20201025-2315.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (20.47kB)
[INFO] Fetching org.eclipse.ecf.provider.filetransfer_3.2.601.v20201025-0700.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (45.05kB)
[INFO] Fetching org.eclipse.ecf.filetransfer.feature_3.14.1702.v20201025-2315.jar from https://eclipse.c3sl.ufpr.br/releases/2020-12/202011061000/features/ (27.8kB)
[INFO] Fetching org.eclipse.ecf.provider.filetransfer.httpclient45_1.0.301.v20201025-0700.jar.pack.gz from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/plugins/ (35.76kB)
[INFO] Fetching org.eclipse.ecf.filetransfer.httpclient45.feature_1.0.702.v20201025-2303.jar from https://eclipse.c3sl.ufpr.br/releases/2020-12/202011061000/features/ (27.92kB)
[INFO] Fetching org.eclipse.equinox.http.jetty_3.7.500.v20200915-1207.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (16.57kB)
[INFO] Fetching org.eclipse.equinox.http.servlet_1.6.700.v20201026-1433.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (76.74kB)
[INFO] Fetching org.eclipse.jetty.http_9.4.33.v20201020.jar from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (223.07kB)
[INFO] Fetching org.eclipse.jetty.server_9.4.33.v20201020.jar from https://rhlx01.hs-esslingen.de/pub/Mirrors/eclipse/releases/2020-12/202011061000/plugins/ (725.26kB)
[INFO] Fetching org.eclipse.jetty.servlet_9.4.33.v20201020.jar from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (144.06kB)
[INFO] Fetching org.eclipse.jetty.util_9.4.33.v20201020.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (587.63kB)
[INFO] Fetching org.eclipse.equinox.p2.jarprocessor_1.1.700.v20200904-1601.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (39.3kB)
[INFO] I/O exception (org.apache.http.NoHttpResponseException) caught when processing request to {s}->https://ftp.halifax.rwth-aachen.de:443: The target server failed to respond
[INFO] Retrying request to {s}->https://ftp.halifax.rwth-aachen.de:443
[INFO] Fetching org.eclipse.equinox.p2.transport.ecf_1.3.0.v20201012-1345.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (22.39kB)
[INFO] Fetching org.eclipse.equinox.p2.core.feature_1.6.800.v20201027-1107.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/features/ (19.67kB)
[INFO] Fetching org.eclipse.equinox.p2.extras.feature_1.4.1000.v20201027-1107.jar from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/features/ (19.11kB)
[INFO] Fetching org.eclipse.equinox.p2.ui.sdk.scheduler_1.5.0.v20201012-1421.jar.pack.gz from https://ftp.linux.org.tr/eclipse//releases/2020-12/202011061000/plugins/ (46.8kB)
[INFO] Fetching org.eclipse.equinox.p2.rcp.feature_1.4.1000.v20201027-1107.jar from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/features/ (19.02kB)
[INFO] Fetching org.eclipse.equinox.p2.ui.importexport_1.2.600.v20201015-1002.jar.pack.gz from https://mirror.tspu.ru/eclipse/releases/2020-12/202011061000/plugins/ (62.83kB)
[INFO] Fetching org.eclipse.equinox.p2.user.ui_2.4.1000.v20201027-1107.jar from https://ftp.linux.org.tr/eclipse//releases/2020-12/202011061000/features/ (18.9kB)
[INFO] Fetching org.eclipse.help.base_4.3.100.v20201028-1800.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (164.2kB)
[INFO] Fetching org.eclipse.help.ui_4.2.100.v20200923-2139.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (203.25kB)
[INFO] Fetching org.eclipse.help.webapp_3.10.100.v20201005-0852.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (308.15kB)
[INFO] Fetching org.eclipse.jetty.continuation_9.4.33.v20201020.jar from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (31.75kB)
[INFO] Fetching org.eclipse.jetty.io_9.4.33.v20201020.jar from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (175.73kB)
[INFO] Fetching org.eclipse.jetty.security_9.4.33.v20201020.jar from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (126.5kB)
[INFO] Fetching org.eclipse.help_2.3.400.v20201028-1800.jar from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/features/ (19.53kB)
[INFO] Fetching org.eclipse.jsch.ui_1.3.1100.v20200916-0731.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (34.59kB)
[INFO] Fetching org.eclipse.platform_4.18.0.v20201028-1800.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (425.1kB)
[INFO] Fetching org.eclipse.platform.doc.user_4.18.0.v20201023-1321.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (6.44MB)
[INFO] Fetching org.eclipse.search_3.12.100.v20200925-0557.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (214.84kB)
[INFO] Fetching org.eclipse.ui.cheatsheets_3.7.100.v20200915-1059.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (149.88kB)
[INFO] Fetching org.eclipse.ui.browser_3.6.1000.v20200910-0548.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (97.84kB)
[INFO] Fetching org.eclipse.ui.genericeditor_1.1.900.v20200910-2030.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (49.36kB)
[INFO] Fetching org.eclipse.ui.monitoring_1.1.900.v20200907-0838.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (27.67kB)
[INFO] Fetching org.eclipse.text.quicksearch_1.0.400.v20201026-1722.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (36.03kB)
[INFO] Fetching org.eclipse.ui.externaltools_3.4.900.v20201009-1005.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (65.64kB)
[INFO] Fetching org.eclipse.ui.themes_1.2.1200.v20201026-1147.jar.pack.gz from https://rhlx01.hs-esslingen.de/pub/Mirrors/eclipse/releases/2020-12/202011061000/plugins/ (30.3kB)
[INFO] Fetching org.eclipse.platform_4.18.0.v20201028-2203.jar from https://rhlx01.hs-esslingen.de/pub/Mirrors/eclipse/releases/2020-12/202011061000/features/ (20.56kB)
[INFO] Fetching org.eclipse.platform_root_4.18.0.v20201028-2203 from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/binary/ (196B)
[INFO] Fetching org.eclipse.update.configurator_3.4.700.v20200907-1237.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (42.69kB)
[INFO] Fetching org.eclipse.rcp_4.18.0.v20201028-1800.jar.pack.gz from https://ftp.fau.de/eclipse/releases/2020-12/202011061000/plugins/ (9.4kB)
[INFO] Fetching org.eclipse.rcp_4.18.0.v20201028-2203.jar from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/features/ (19.08kB)
[INFO] Fetching org.eclipse.rcp_root_4.18.0.v20201028-2203 from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/binary/ (25.54kB)
[INFO] Fetching org.eclipse.equinox.launcher.gtk.linux.x86_64_1.2.0.v20200915-1442.jar.pack.gz from https://rhlx01.hs-esslingen.de/pub/Mirrors/eclipse/releases/2020-12/202011061000/plugins/ (69.92kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.gtk.linux.x86_64_3.115.100.v20201028-2203.jar.pack.gz from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/plugins/ (923.65kB)
[INFO] Fetching org.eclipse.equinox.security.linux.x86_64_1.1.400.v20200915-1125.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (12.59kB)
[INFO] Fetching org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.2.0.v20200915-1442.jar.pack.gz from https://mirror.dkm.cz/eclipse/releases/2020-12/202011061000/plugins/ (39.62kB)
[INFO] Fetching org.eclipse.swt.browser.chromium.cocoa.macosx.x86_64_3.115.100.v20201028-2203.jar.pack.gz from https://rhlx01.hs-esslingen.de/pub/Mirrors/eclipse/releases/2020-12/202011061000/plugins/ (651.64kB)
[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] Fetching org.eclipse.equinox.executable_3.8.1000.v20200915-1508.jar from https://ftp.linux.org.tr/eclipse//releases/2020-12/202011061000/features/ (290.21kB)
[INFO] Fetching org.eclipse.equinox.executable_root.win32.win32.x86_64_3.8.1000.v20200915-1508 from https://ftp.snt.utwente.nl/pub/software/eclipse/releases/2020-12/202011061000/binary/ (154.82kB)
[INFO] Fetching org.eclipse.equinox.executable_root.gtk.linux.x86_64_3.8.1000.v20200915-1508 from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/binary/ (26.46kB)
[INFO] Fetching org.eclipse.equinox.executable_root.cocoa.macosx.x86_64_3.8.1000.v20200915-1508 from https://ftp.halifax.rwth-aachen.de/eclipse/releases/2020-12/202011061000/binary/ (17.29kB)
[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
[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
[HUDSON] Collecting dependencies info[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
[HUDSON] Collecting dependencies info[INFO] The Java Code Generator Testing
[INFO] The Java Code Generator
[HUDSON] Collecting dependencies info[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
[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 #285
[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/
![[Jenkins]](/jenkins/static/95d0662c/images/jenkins-header-logo-v2.svg){kind=logo}
