Established TCP socket on 38959 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-master/pom.xml -Dmaven.repo.local=/var/lib/jenkins/workspace/overture-master/.repository -s /var/lib/jenkins/internal-resources/settings.xml install -PWith-IDE -Pcodesigning -Pall-platforms -P!linux64 -P!ui-tests -Pforce-download-externals [INFO] Scanning for projects... [INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/core/pom.xml [INFO] Fetching p2.index from http://download.eclipse.org/releases/2019-12/ [INFO] Fetching p2.index from http://download.eclipse.org/releases/2019-12/ [INFO] Adding repository http://download.eclipse.org/releases/2019-12 [INFO] Fetching compositeContent.jar from http://download.eclipse.org/releases/2019-12/ (482B) [INFO] Fetching p2.index from http://download.eclipse.org/technology/epp/packages/2019-12/ [INFO] Fetching content.xml.xz from http://download.eclipse.org/technology/epp/packages/2019-12/ [INFO] Fetching p2.index from http://download.eclipse.org/releases/2019-12/201912181000/ [INFO] Fetching p2.index from http://download.eclipse.org/releases/2019-12/201912181000/ [INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2019-12/201912181000/ [INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2019-12/201912181000/ [INFO] Fetching content.xml.xz from http://download.eclipse.org/releases/2019-12/201912181000/ (339.33kB at 338.83kB/s) [INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/core/pom.xml [INFO] Fetching 201912181000&countryCode=gb&timeZone=1&format=xml from http://www.eclipse.org/downloads/download.php?format=xml&file=/releases/2019-12/ [INFO] Fetching org.eclipse.osgi_3.15.100.v20191114-1701.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (458.65kB) [INFO] Fetching org.eclipse.osgi_3.15.100.v20191114-1701.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (458.65kB) [INFO] Fetching org.eclipse.osgi_3.15.100.v20191114-1701.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (184.59kB of 458.65kB at 180.59kB/s) [INFO] Fetching org.eclipse.core.contenttype_3.7.500.v20190916-2125.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (41.62kB) [INFO] Fetching org.eclipse.core.contenttype_3.7.500.v20190916-2125.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (41.62kB) [INFO] Fetching org.eclipse.equinox.preferences_3.7.600.v20191017-2055.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (54.22kB) [INFO] Fetching org.eclipse.equinox.preferences_3.7.600.v20191017-2055.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (54.22kB) [INFO] Fetching org.eclipse.equinox.registry_3.8.600.v20191017-2055.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (76.89kB) [INFO] Fetching org.eclipse.equinox.registry_3.8.600.v20191017-2055.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (76.89kB) [INFO] Fetching org.eclipse.equinox.common_3.10.600.v20191004-1420.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (52.5kB) [INFO] Fetching org.eclipse.core.expressions_3.6.600.v20191122-2104.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (33.81kB) [INFO] Fetching org.eclipse.core.expressions_3.6.600.v20191122-2104.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (33.81kB) [INFO] Fetching org.eclipse.core.runtime_3.17.0.v20191122-2104.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (33.74kB) [INFO] Fetching org.eclipse.core.runtime_3.17.0.v20191122-2104.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (33.74kB) [INFO] Fetching org.eclipse.core.filesystem_1.7.600.v20191122-2104.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (27.8kB) [INFO] Fetching org.eclipse.core.filesystem_1.7.600.v20191122-2104.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (27.8kB) [INFO] Fetching org.eclipse.core.jobs_3.10.600.v20191122-2104.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (46.12kB) [INFO] Fetching org.eclipse.core.jobs_3.10.600.v20191122-2104.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (46.12kB) [INFO] Fetching org.eclipse.core.resources_3.13.600.v20191122-2104.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (873.23kB) [INFO] Fetching org.eclipse.core.resources_3.13.600.v20191122-2104.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (873.23kB) [INFO] Fetching org.eclipse.equinox.app_1.4.300.v20190815-1535.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (42.16kB) [INFO] Fetching org.eclipse.equinox.app_1.4.300.v20190815-1535.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (42.16kB) [INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/core/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/ui/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/ui/pom.xml [INFO] Fetching org.apache.xmlgraphics_2.3.0.v20190515-0436.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (258.72kB) [INFO] Fetching org.apache.batik.css_1.11.0.v20190515-0436.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (101.68kB) [INFO] Fetching org.apache.batik.css_1.11.0.v20190515-0436.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (101.68kB) [INFO] Fetching org.apache.batik.util_1.11.0.v20190515-0436.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (63.49kB) [INFO] Fetching org.apache.batik.util_1.11.0.v20190515-0436.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (63.49kB) [INFO] Fetching org.apache.batik.constants_1.11.0.v20190515-0436.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (13.03kB) [INFO] Fetching org.apache.batik.constants_1.11.0.v20190515-0436.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (13.03kB) [INFO] Fetching org.apache.batik.i18n_1.11.0.v20190515-0436.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (14.52kB) [INFO] Fetching org.apache.batik.i18n_1.11.0.v20190515-0436.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (14.52kB) [INFO] Fetching org.apache.commons.logging_1.2.0.v20180409-1502.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (33.71kB) [INFO] Fetching org.apache.felix.scr_2.1.14.v20190123-1619.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (154.23kB) [INFO] Fetching org.apache.felix.scr_2.1.14.v20190123-1619.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (154.23kB) [INFO] Fetching org.eclipse.osgi.services_3.8.0.v20190206-2147.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (44.03kB) [INFO] Fetching org.eclipse.osgi.services_3.8.0.v20190206-2147.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (44.03kB) [INFO] Fetching org.eclipse.osgi.util_3.5.300.v20190708-1141.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (30.65kB) [INFO] Fetching org.eclipse.osgi.util_3.5.300.v20190708-1141.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (30.65kB) [INFO] Fetching org.eclipse.emf.emfstore.common_1.9.0.v20170530-0703.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (1.86MB) [INFO] Fetching org.eclipse.emf.emfstore.common_1.9.0.v20170530-0703.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (1.86MB) [INFO] Fetching org.eclipse.compare_3.7.800.v20191122-2107.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (304.82kB) [INFO] Fetching org.eclipse.compare_3.7.800.v20191122-2107.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (304.82kB) [INFO] Fetching org.eclipse.ui_3.115.0.v20191127-1056.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (364.34kB) [INFO] Fetching org.eclipse.ui_3.115.0.v20191127-1056.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (364.34kB) [INFO] Fetching org.eclipse.jface.text_3.16.100.v20191203-1634.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (319.42kB) [INFO] Fetching org.eclipse.jface.text_3.16.100.v20191203-1634.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (319.42kB) [INFO] Fetching org.eclipse.ui.ide_3.16.100.v20191122-2109.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (962.29kB) [INFO] Fetching org.eclipse.ui.ide_3.16.100.v20191122-2109.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (962.29kB) [INFO] Fetching org.eclipse.ui.views_3.10.100.v20191114-0830.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (48.42kB) [INFO] Fetching org.eclipse.ui.views_3.10.100.v20191114-0830.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (48.42kB) [INFO] Fetching org.eclipse.ui.workbench.texteditor_3.14.0.v20191122-2108.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (234.26kB) [INFO] Fetching org.eclipse.ui.workbench.texteditor_3.14.0.v20191122-2108.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (234.26kB) [INFO] Fetching org.eclipse.ui.editors_3.13.0.v20191203-1122.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (204.63kB) [INFO] Fetching org.eclipse.ui.forms_3.8.200.v20191114-0830.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (123.32kB) [INFO] Fetching org.eclipse.compare.core_3.6.700.v20191122-2107.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (33.06kB) [INFO] Fetching org.eclipse.compare.core_3.6.700.v20191122-2107.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (33.06kB) [INFO] Fetching com.ibm.icu_64.2.0.v20190507-1337.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (9.5MB) [INFO] Fetching com.ibm.icu_64.2.0.v20190507-1337.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (2.03MB of 9.5MB at 2.03MB/s) [INFO] Fetching com.ibm.icu_64.2.0.v20190507-1337.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (3.68MB of 9.5MB at 1.81MB/s) [INFO] Fetching com.ibm.icu_64.2.0.v20190507-1337.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (6.2MB of 9.5MB at 2.05MB/s) [INFO] Fetching com.ibm.icu_64.2.0.v20190507-1337.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (8.47MB of 9.5MB at 2.1MB/s) [INFO] Fetching org.eclipse.core.commands_3.9.600.v20191122-2109.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (42.96kB) [INFO] Fetching org.eclipse.core.databinding_1.7.700.v20191122-2109.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (55.83kB) [INFO] Fetching org.eclipse.core.databinding_1.7.700.v20191122-2109.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (55.83kB) [INFO] Fetching org.eclipse.core.databinding.observable_1.8.100.v20191118-0932.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (82.52kB) [INFO] Fetching org.eclipse.core.databinding.observable_1.8.100.v20191118-0932.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (82.52kB) [INFO] Fetching org.eclipse.core.databinding.property_1.7.200.v20191105-1311.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (44.79kB) [INFO] Fetching org.eclipse.core.filebuffers_3.6.800.v20191122-2108.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (41.95kB) [INFO] Fetching org.eclipse.text_3.10.0.v20191122-2108.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (100.78kB) [INFO] Fetching org.eclipse.core.variables_3.4.700.v20191114-1848.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (18.05kB) [INFO] Fetching org.eclipse.core.variables_3.4.700.v20191114-1848.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (18.05kB) [INFO] Fetching org.eclipse.e4.core.commands_0.12.800.v20190926-0808.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (13.78kB) [INFO] Fetching org.eclipse.e4.core.di_1.7.500.v20190916-2125.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (25.92kB) [INFO] Fetching org.eclipse.e4.core.di_1.7.500.v20190916-2125.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (25.92kB) [INFO] Fetching org.eclipse.e4.core.contexts_1.8.300.v20191017-1404.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (22.69kB) [INFO] Fetching org.eclipse.e4.core.contexts_1.8.300.v20191017-1404.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (22.69kB) [INFO] Fetching org.eclipse.e4.core.services_2.2.100.v20191122-2104.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (28.26kB) [INFO] Fetching org.eclipse.e4.core.services_2.2.100.v20191122-2104.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (28.26kB) [INFO] Fetching org.eclipse.e4.core.di.annotations_1.6.500.v20190925-0538.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (7.68kB) [INFO] Fetching org.eclipse.e4.core.di.annotations_1.6.500.v20190925-0538.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (7.68kB) [INFO] Fetching org.eclipse.e4.core.di.extensions_0.15.400.v20191122-2104.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (7.77kB) [INFO] Fetching org.eclipse.e4.core.di.extensions_0.15.400.v20191122-2104.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (7.77kB) [INFO] Fetching org.eclipse.e4.core.di.extensions.supplier_0.15.400.v20190709-0707.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (16.67kB) [INFO] Fetching org.eclipse.e4.core.di.extensions.supplier_0.15.400.v20190709-0707.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (16.67kB) [INFO] Fetching org.eclipse.e4.emf.xpath_0.2.500.v20191021-1408.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (21.81kB) [INFO] Fetching org.eclipse.e4.emf.xpath_0.2.500.v20191021-1408.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (21.81kB) [INFO] Fetching org.eclipse.emf.ecore_2.20.0.v20190920-0401.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (485.42kB) [INFO] Fetching org.eclipse.emf.ecore_2.20.0.v20190920-0401.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (485.42kB) [INFO] Fetching org.eclipse.e4.ui.bindings_0.12.700.v20191105-1310.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (22.97kB) [INFO] Fetching org.eclipse.e4.ui.bindings_0.12.700.v20191105-1310.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (22.97kB) [INFO] Fetching org.eclipse.swt_3.113.0.v20191204-0601.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (16.04kB) [INFO] Fetching org.eclipse.swt_3.113.0.v20191204-0601.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (16.04kB) [INFO] Fetching org.eclipse.jface_3.18.0.v20191122-2109.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (360.91kB) [INFO] Fetching org.eclipse.e4.ui.css.core_0.12.900.v20191106-1716.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (64.89kB) [INFO] Fetching org.eclipse.e4.ui.css.swt_0.13.700.v20191113-1031.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (79.15kB) [INFO] Fetching org.eclipse.e4.ui.css.swt.theme_0.12.500.v20191125-1011.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (17.02kB) [INFO] Fetching org.eclipse.e4.ui.di_1.2.700.v20191114-0830.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (9.82kB) [INFO] Fetching org.eclipse.e4.ui.dialogs_1.1.600.v20190814-0636.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (21.82kB) [INFO] Fetching org.eclipse.e4.ui.model.workbench_2.1.600.v20191106-1503.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (111.15kB) [INFO] Fetching org.eclipse.e4.ui.services_1.3.700.v20190930-1643.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (13.16kB) [INFO] Fetching org.eclipse.e4.ui.services_1.3.700.v20190930-1643.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (13.16kB) [INFO] Fetching org.eclipse.e4.ui.widgets_1.2.600.v20190926-0808.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (9.46kB) [INFO] Fetching org.eclipse.e4.ui.widgets_1.2.600.v20190926-0808.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (9.46kB) [INFO] Fetching org.eclipse.e4.ui.workbench_1.11.0.v20191120-1917.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (85.9kB) [INFO] Fetching org.eclipse.e4.ui.workbench_1.11.0.v20191120-1917.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (85.9kB) [INFO] Fetching org.eclipse.emf.ecore.change_2.14.0.v20190528-0725.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (51.07kB) [INFO] Fetching org.eclipse.emf.ecore.xmi_2.16.0.v20190528-0725.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (84.22kB) [INFO] Fetching org.eclipse.emf.ecore.xmi_2.16.0.v20190528-0725.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (84.22kB) [INFO] Fetching org.eclipse.e4.ui.workbench.addons.swt_1.3.700.v20191030-1314.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (49.92kB) [INFO] Fetching org.eclipse.e4.ui.workbench.addons.swt_1.3.700.v20191030-1314.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (49.92kB) [INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt_0.14.900.v20191114-0715.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (94.87kB) [INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt_0.14.900.v20191114-0715.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (94.87kB) [INFO] Fetching org.eclipse.e4.ui.workbench.swt_0.14.800.v20190930-1643.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (61.45kB) [INFO] Fetching org.eclipse.e4.ui.workbench.swt_0.14.800.v20190930-1643.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (61.45kB) [INFO] Fetching org.eclipse.jface.databinding_1.9.200.v20191113-1050.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (77.54kB) [INFO] Fetching org.eclipse.jface.databinding_1.9.200.v20191113-1050.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (77.54kB) [INFO] Fetching org.eclipse.e4.ui.workbench3_0.15.300.v20190926-0808.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (13.07kB) [INFO] Fetching org.eclipse.e4.ui.workbench3_0.15.300.v20190926-0808.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (13.07kB) [INFO] Fetching org.eclipse.emf.common_2.17.0.v20190920-0401.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (114.83kB) [INFO] Fetching org.eclipse.equinox.bidi_1.2.200.v20191008-0718.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (23.94kB) [INFO] Fetching org.eclipse.equinox.bidi_1.2.200.v20191008-0718.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (23.94kB) [INFO] Fetching org.eclipse.equinox.p2.core_2.6.200.v20191014-1220.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (32.06kB) [INFO] Fetching org.eclipse.equinox.p2.core_2.6.200.v20191014-1220.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (32.06kB) [INFO] Fetching org.eclipse.equinox.p2.engine_2.6.500.v20191014-1645.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (74.72kB) [INFO] Fetching org.eclipse.equinox.p2.engine_2.6.500.v20191014-1645.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (74.72kB) [INFO] Fetching org.eclipse.equinox.p2.metadata_2.4.600.v20191002-0702.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (108.01kB) [INFO] Fetching org.eclipse.equinox.p2.metadata_2.4.600.v20191002-0702.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (108.01kB) [INFO] Fetching org.eclipse.equinox.p2.metadata.repository_1.3.300.v20191002-0702.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (50.95kB) [INFO] Fetching org.eclipse.equinox.p2.repository_2.4.600.v20191016-0510.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (55.47kB) [INFO] Fetching org.eclipse.equinox.p2.repository_2.4.600.v20191016-0510.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (55.47kB) [INFO] Fetching org.tukaani.xz_1.8.0.v20180207-1613.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (44.42kB) [INFO] Fetching org.eclipse.equinox.security_1.3.400.v20191008-0645.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (44.58kB) [INFO] Fetching org.eclipse.help_3.8.600.v20191123-0656.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (125.97kB) [INFO] Fetching org.eclipse.ltk.core.refactoring_3.10.300.v20191104-1954.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (107.92kB) [INFO] Fetching org.eclipse.ltk.ui.refactoring_3.10.100.v20191113-0119.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (182.08kB) [INFO] Fetching org.eclipse.ui.navigator_3.9.100.v20191122-2109.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (133.62kB) [INFO] Fetching org.eclipse.team.core_3.8.800.v20191122-2107.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (127.12kB) [INFO] Fetching org.eclipse.team.ui_3.8.700.v20191122-2107.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (494.27kB) [INFO] Fetching org.eclipse.swt.win32.win32.x86_64_3.113.0.v20191204-0601.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (1.1MB) [INFO] Fetching org.eclipse.swt.win32.win32.x86_64_3.113.0.v20191204-0601.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (1.1MB) [INFO] Fetching org.eclipse.ui.workbench_3.117.0.v20191126-1131.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (1,004.33kB) [INFO] Fetching org.eclipse.ui.workbench_3.117.0.v20191126-1131.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (1,004.33kB) [INFO] Fetching org.eclipse.ui.workbench_3.117.0.v20191126-1131.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (606.79kB of 1,004.33kB at 602.79kB/s) [INFO] Fetching org.eclipse.ui.console_3.9.0.v20191126-0912.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (88.43kB) [INFO] Fetching org.eclipse.ui.console_3.9.0.v20191126-0912.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (88.43kB) [INFO] Fetching org.eclipse.ui.navigator.resources_3.7.100.v20191209-1336.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (71.13kB) [INFO] Fetching org.eclipse.ui.navigator.resources_3.7.100.v20191209-1336.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (71.13kB) [INFO] Fetching org.eclipse.ui.views.properties.tabbed_3.8.700.v20191113-0939.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (40.96kB) [INFO] Fetching org.eclipse.ui.views.properties.tabbed_3.8.700.v20191113-0939.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (40.96kB) [INFO] Fetching org.eclipse.swt.gtk.linux.x86_64_3.113.0.v20191204-0601.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (1,008.75kB) [INFO] Fetching org.eclipse.swt.gtk.linux.x86_64_3.113.0.v20191204-0601.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (1,008.75kB) [INFO] Fetching org.eclipse.swt.cocoa.macosx.x86_64_3.113.0.v20191204-0601.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (819.53kB) [INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/ui/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/parsers/vdmj/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/parsers/vdmj/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/parsers/vdmj/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/builders/vdmj/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/builders/vdmj/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.builders:org.overture.ide.builders.vdmj:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/builders/vdmj/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/debug/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/debug/pom.xml [INFO] Fetching org.eclipse.debug.core_3.14.100.v20191115-1406.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (125.76kB) [INFO] Fetching org.eclipse.debug.core_3.14.100.v20191115-1406.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (125.76kB) [INFO] Fetching org.eclipse.debug.ui_3.14.300.v20191116-2105.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (1.01MB) [INFO] Fetching org.eclipse.debug.ui_3.14.300.v20191116-2105.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (1.01MB) [INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/debug/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/core/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/core/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/core/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/ui/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/ui/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/ui/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/debug/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/debug/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmsl:org.overture.ide.vdmsl.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmsl/debug/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/core/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/core/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/core/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/ui/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/ui/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/ui/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/debug/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/debug/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmpp:org.overture.ide.vdmpp.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmpp/debug/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/core/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/core/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/core/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/ui/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/ui/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.ui:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/ui/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/debug/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/debug/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/vdmrt/debug/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/help/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/help/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.help:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/help/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/coverageeditor/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/coverageeditor/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.coverageeditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/coverageeditor/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/csk/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/csk/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.csk:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/csk/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/quickinterpreter/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/quickinterpreter/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/quickinterpreter/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/externaleditor/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/externaleditor/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/externaleditor/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/latex/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/latex/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.latex:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/latex/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/poviewer/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/poviewer/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.poviewer:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/poviewer/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/combinatorialtesting/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/combinatorialtesting/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.combinatorialtesting:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/combinatorialtesting/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/developerutils/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/developerutils/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.developerutils:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/developerutils/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/uml2/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/uml2/pom.xml [INFO] Fetching org.eclipse.emf.mapping.ecore2xml_2.11.0.v20180706-1146.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (18.49kB) [INFO] Fetching org.eclipse.emf.mapping.ecore2xml_2.11.0.v20180706-1146.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (18.49kB) [INFO] Fetching org.eclipse.uml2.common_2.5.0.v20181203-1331.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (35.09kB) [INFO] Fetching org.eclipse.uml2.types_2.5.0.v20181203-1331.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (11.51kB) [INFO] Fetching org.eclipse.uml2.uml_5.5.0.v20181203-1331.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (1.03MB) [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.uml2:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/uml2/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/rttraceviewer/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/rttraceviewer/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.rttraceviewer:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/rttraceviewer/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/javagen/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/javagen/pom.xml [INFO] Fetching org.eclipse.jdt.core_3.20.0.v20191203-2131.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (6.71MB) [INFO] Fetching org.eclipse.jdt.core_3.20.0.v20191203-2131.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (4.13MB of 6.71MB at 4.12MB/s) [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins:org.overture.ide.plugins.javagen:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/javagen/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/coverageeditor/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/coverageeditor/pom.xml [INFO] Fetching org.eclipse.core.net_1.3.700.v20191122-2107.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (33.77kB) [INFO] Fetching org.eclipse.ui.ide.application_1.3.500.v20191122-2109.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (55.35kB) [INFO] Fetching org.eclipse.urischeme_1.0.500.v20191122-2109.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (21.45kB) [INFO] Fetching org.eclipse.ui.intro_3.5.800.v20191123-0656.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (141.89kB) [INFO] Fetching org.eclipse.ui.views.log_1.2.900.v20191122-2109.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (84.58kB) [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.coverageeditor:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/csk/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/combinatorialtesting/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.combinatorialtesting:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/developerutils/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.developerutils:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/latex/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.latex:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/poviewer/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.poviewer:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/quickinterpreter/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/uml2/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/uml2/pom.xml [INFO] Fetching org.eclipse.emf.common_2.17.0.v20190920-0401.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (19.06kB) [INFO] Fetching org.eclipse.emf.common_2.17.0.v20190920-0401.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (19.06kB) [INFO] Fetching org.eclipse.emf.ecore_2.20.0.v20190920-0401.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (19.13kB) [INFO] Resolving class path of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.uml2:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/rttraceviewer/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.rttraceviewer:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/javagen/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.javagen:3.0.0 @ /var/lib/jenkins/workspace/overture-master/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.0 @ /var/lib/jenkins/workspace/overture-master/ide/plugins/features/javagen/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/platform/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/platform/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.platform:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/platform/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/features/core/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/features/core/pom.xml [INFO] Resolving class path of MavenProject: org.overturetool.ide.features:org.overture.ide.features.core:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/features/core/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/features/rcp/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/features/rcp/pom.xml [INFO] Fetching com.jcraft.jsch_0.1.55.v20190404-1902.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (107.05kB) [INFO] Fetching com.sun.jna_4.5.1.v20190425-1842.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (1.28MB) [INFO] Fetching com.sun.jna_4.5.1.v20190425-1842.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (1.28MB) [INFO] Fetching com.sun.jna.platform_4.5.1.v20190425-1842.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (328.72kB) [INFO] Fetching com.sun.jna.platform_4.5.1.v20190425-1842.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (328.72kB) [INFO] Fetching org.apache.ant_1.10.7.v20190926-0324.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (2.83MB) [INFO] Fetching org.apache.ant_1.10.7.v20190926-0324.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (2.83MB) [INFO] Fetching org.apache.ant_1.10.7.v20190926-0324.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (2.67MB of 2.83MB at 2.66MB/s) [INFO] Fetching org.apache.commons.codec_1.10.0.v20180409-1845.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (112.2kB) [INFO] Fetching org.apache.commons.io_2.6.0.v20190123-2029.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (82.7kB) [INFO] Fetching org.apache.commons.io_2.6.0.v20190123-2029.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (82.7kB) [INFO] Fetching org.apache.felix.gogo.command_1.0.2.v20170914-1324.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (31.52kB) [INFO] Fetching org.apache.felix.gogo.command_1.0.2.v20170914-1324.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (31.52kB) [INFO] Fetching org.apache.felix.gogo.runtime_1.1.0.v20180713-1646.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (75.47kB) [INFO] Fetching org.apache.felix.gogo.shell_1.1.0.v20180713-1646.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (34.83kB) [INFO] Fetching org.apache.httpcomponents.httpclient_4.5.6.v20190503-0009.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (329.69kB) [INFO] Fetching org.apache.httpcomponents.httpcore_4.4.10.v20190123-2214.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (108.91kB) [INFO] Fetching org.apache.httpcomponents.httpcore_4.4.10.v20190123-2214.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (108.91kB) [INFO] Fetching org.apache.httpcomponents.httpclient.win_4.5.6.v20190213-1947.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (17.36kB) [INFO] Fetching org.apache.lucene.analyzers-common_8.0.0.v20190404-1858.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (687.76kB) [INFO] Fetching org.apache.lucene.analyzers-common_8.0.0.v20190404-1858.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (687.76kB) [INFO] Fetching org.apache.lucene.core_8.0.0.v20190404-1858.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (923.82kB) [INFO] Fetching org.apache.lucene.analyzers-smartcn_8.0.0.v20190404-1858.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (3.42MB) [INFO] Fetching org.eclipse.ant.core_3.5.600.v20191122-2102.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (71.92kB) [INFO] Fetching org.eclipse.ant.core_3.5.600.v20191122-2102.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (71.92kB) [INFO] Fetching org.eclipse.compare.win32_1.2.700.v20191122-2107.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (24.56kB) [INFO] Fetching org.eclipse.compare.win32_1.2.700.v20191122-2107.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (24.56kB) [INFO] Fetching org.eclipse.core.databinding.beans_1.6.0.v20191118-0932.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (26.22kB) [INFO] Fetching org.eclipse.core.databinding.beans_1.6.0.v20191118-0932.jar.pack.gz from http://mirror.ufs.ac.za/eclipse/releases/2019-12/201912181000/plugins/ (26.22kB) [INFO] Fetching org.eclipse.core.externaltools_1.1.500.v20191014-1300.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (20.74kB) [INFO] Fetching org.eclipse.core.externaltools_1.1.500.v20191014-1300.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (20.74kB) [INFO] Fetching org.eclipse.core.filesystem.win32.x86_64_1.4.200.v20190812-0909.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (36.57kB) [INFO] Fetching org.eclipse.core.net.win32.x86_64_1.1.500.v20190925-1337.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (33.44kB) [INFO] Fetching org.eclipse.core.resources.win32.x86_64_3.5.400.v20190812-0909.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (56.91kB) [INFO] Fetching org.eclipse.core.resources.win32.x86_64_3.5.400.v20190812-0909.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (56.91kB) [INFO] Fetching org.eclipse.equinox.event_1.5.300.v20191001-1333.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (16.7kB) [INFO] Fetching org.eclipse.equinox.event_1.5.300.v20191001-1333.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (16.7kB) [INFO] Fetching org.eclipse.equinox.launcher_1.5.600.v20191014-2022.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (29.94kB) [INFO] Fetching org.eclipse.equinox.launcher_1.5.600.v20191014-2022.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (29.94kB) [INFO] Fetching org.eclipse.equinox.simpleconfigurator_1.3.400.v20191015-1836.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (23.78kB) [INFO] Fetching org.eclipse.equinox.simpleconfigurator_1.3.400.v20191015-1836.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (23.78kB) [INFO] Fetching org.eclipse.osgi.compatibility.state_1.1.600.v20190814-1451.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (103.2kB) [INFO] Fetching org.eclipse.equinox.launcher.win32.win32.x86_64_1.1.1100.v20190907-0426.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (80.12kB) [INFO] Fetching org.eclipse.equinox.console_1.4.0.v20190819-1430.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (51.54kB) [INFO] Fetching org.eclipse.e4.rcp_4.14.0.v20191204-0601.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (20.81kB) [INFO] Fetching org.eclipse.ecf_3.9.4.v20191020-1846.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (48.09kB) [INFO] Fetching org.eclipse.ecf.identity_3.9.300.v20191020-1846.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (27.11kB) [INFO] Fetching org.eclipse.equinox.concurrent_1.1.400.v20190621-0852.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (12.23kB) [INFO] Fetching org.eclipse.ecf.core.feature_1.5.400.v20191023-2007.jar from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/features/ (18.6kB) [INFO] Fetching org.eclipse.ecf.ssl_1.2.300.v20191012-1926.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (9.96kB) [INFO] Fetching org.eclipse.ecf.core.ssl.feature_1.1.300.v20191023-2007.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (18.56kB) [INFO] Fetching org.eclipse.ecf.filetransfer_5.0.300.v20191020-1846.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (20.33kB) [INFO] Fetching org.eclipse.ecf.provider.filetransfer_3.2.500.v20191017-1905.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (45.04kB) [INFO] Fetching org.eclipse.ecf.filetransfer.feature_3.14.600.v20191023-2007.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (26.68kB) [INFO] Fetching org.eclipse.ecf.provider.filetransfer.httpclient45_1.0.100.v20191012-1656.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (35.63kB) [INFO] Fetching org.eclipse.ecf.provider.filetransfer.httpclient45.win32_1.0.0.v20190502-2116.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (14.36kB) [INFO] Fetching org.eclipse.ecf.provider.filetransfer.httpclient45.win32_1.0.0.v20190502-2116.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (14.36kB) [INFO] Fetching org.eclipse.ecf.filetransfer.httpclient45.feature_1.0.100.v20191024-1546.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (26.64kB) [INFO] Fetching org.eclipse.ecf.provider.filetransfer.ssl_1.0.101.v20191012-1926.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (7.38kB) [INFO] Fetching org.eclipse.ecf.filetransfer.ssl.feature_1.1.200.v20191024-1546.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (22.6kB) [INFO] Fetching org.eclipse.equinox.frameworkadmin_2.1.400.v20191002-0702.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (19.47kB) [INFO] Fetching org.eclipse.equinox.frameworkadmin_2.1.400.v20191002-0702.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (19.47kB) [INFO] Fetching org.eclipse.equinox.frameworkadmin.equinox_1.1.200.v20191015-1207.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (34.36kB) [INFO] Fetching org.eclipse.equinox.http.jetty_3.7.300.v20191015-2006.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (16.29kB) [INFO] Fetching org.eclipse.equinox.http.servlet_1.6.300.v20191011-1612.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (76.5kB) [INFO] Fetching org.eclipse.jetty.http_9.4.24.v20191120.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (219.72kB) [INFO] Fetching org.eclipse.jetty.server_9.4.24.v20191120.jar from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (691.08kB) [INFO] Fetching org.eclipse.jetty.servlet_9.4.24.v20191120.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (139.05kB) [INFO] Fetching org.eclipse.jetty.util_9.4.24.v20191120.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (571.31kB) [INFO] Fetching org.eclipse.equinox.http.registry_1.1.700.v20190214-1948.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (18.49kB) [INFO] Fetching org.eclipse.equinox.jsp.jasper_1.1.300.v20190714-1850.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (14.71kB) [INFO] Fetching org.eclipse.equinox.jsp.jasper_1.1.300.v20190714-1850.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (14.71kB) [INFO] Fetching org.eclipse.equinox.jsp.jasper.registry_1.1.300.v20190714-1850.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (8.71kB) [INFO] Fetching org.eclipse.equinox.jsp.jasper.registry_1.1.300.v20190714-1850.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (8.71kB) [INFO] Fetching org.eclipse.equinox.p2.artifact.repository_1.3.300.v20191015-1504.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (58.09kB) [INFO] Fetching org.eclipse.equinox.p2.artifact.repository_1.3.300.v20191015-1504.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (58.09kB) [INFO] Fetching org.eclipse.equinox.p2.jarprocessor_1.1.500.v20191014-1732.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (38.91kB) [INFO] Fetching org.eclipse.equinox.p2.console_1.1.300.v20191014-1219.jar.pack.gz from http://mirror.tspu.ru/eclipse/releases/2019-12/201912181000/plugins/ (17.99kB) [INFO] Fetching org.eclipse.equinox.p2.director_2.4.500.v20191014-1220.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (48.14kB) [INFO] Fetching org.eclipse.equinox.p2.garbagecollector_1.1.300.v20191015-1207.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (14.06kB) [INFO] Fetching org.eclipse.equinox.p2.touchpoint.eclipse_2.2.500.v20191114-1206.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (46.52kB) [INFO] Fetching org.eclipse.equinox.p2.touchpoint.natives_1.3.400.v20191017-1917.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (35.24kB) [INFO] Fetching org.eclipse.equinox.simpleconfigurator.manipulator_2.1.400.v20191015-1836.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (16.72kB) [INFO] Fetching org.eclipse.equinox.simpleconfigurator.manipulator_2.1.400.v20191015-1836.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (16.72kB) [INFO] Fetching org.eclipse.equinox.p2.transport.ecf_1.2.300.v20191001-0955.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (22.34kB) [INFO] Fetching org.eclipse.equinox.p2.transport.ecf_1.2.300.v20191001-0955.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (22.34kB) [INFO] Fetching org.eclipse.equinox.p2.operations_2.5.600.v20191016-0507.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (32kB) [INFO] Fetching org.eclipse.equinox.p2.operations_2.5.600.v20191016-0507.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (32kB) [INFO] Fetching org.eclipse.equinox.security.win32.x86_64_1.1.200.v20190812-0919.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (37.04kB) [INFO] Fetching org.eclipse.equinox.security.win32.x86_64_1.1.200.v20190812-0919.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (37.04kB) [INFO] Fetching org.eclipse.equinox.p2.core.feature_1.6.400.v20191120-0247.jar from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/features/ (19.64kB) [INFO] Fetching org.eclipse.equinox.p2.director.app_1.1.400.v20191015-1945.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (37.91kB) [INFO] Fetching org.eclipse.equinox.p2.directorywatcher_1.2.400.v20191015-1945.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (17.49kB) [INFO] Fetching org.eclipse.equinox.p2.directorywatcher_1.2.400.v20191015-1945.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (17.49kB) [INFO] Fetching org.eclipse.equinox.p2.publisher_1.5.300.v20191016-0507.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (43.28kB) [INFO] Fetching org.eclipse.equinox.p2.publisher_1.5.300.v20191016-0507.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (43.28kB) [INFO] Fetching org.eclipse.equinox.p2.publisher.eclipse_1.3.400.v20191018-2256.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (105.59kB) [INFO] Fetching org.eclipse.equinox.p2.publisher.eclipse_1.3.400.v20191018-2256.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (105.59kB) [INFO] Fetching org.eclipse.equinox.p2.extensionlocation_1.3.300.v20191014-1645.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (17.45kB) [INFO] Fetching org.eclipse.equinox.p2.extensionlocation_1.3.300.v20191014-1645.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (17.45kB) [INFO] Fetching org.eclipse.equinox.p2.reconciler.dropins_1.3.200.v20191016-0510.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (27.54kB) [INFO] Fetching org.eclipse.equinox.p2.repository.tools_2.2.400.v20191016-0510.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (121.9kB) [INFO] Fetching org.eclipse.equinox.p2.extras.feature_1.4.600.v20191120-0247.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (19.11kB) [INFO] Fetching org.eclipse.equinox.p2.ui_2.5.700.v20190930-1517.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (287.13kB) [INFO] Fetching org.eclipse.equinox.p2.ui.sdk.scheduler_1.4.500.v20191016-0512.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (46.81kB) [INFO] Fetching org.eclipse.equinox.p2.updatechecker_1.2.200.v20190701-1309.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (10.91kB) [INFO] Fetching org.eclipse.equinox.security.ui_1.2.500.v20191003-0536.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (71.3kB) [INFO] Fetching org.eclipse.equinox.p2.ui.sdk_1.1.500.v20191016-0512.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (26.68kB) [INFO] Fetching org.eclipse.equinox.p2.rcp.feature_1.4.600.v20191120-0247.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (19.03kB) [INFO] Fetching org.eclipse.equinox.p2.ui.importexport_1.2.400.v20191016-0512.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (62.67kB) [INFO] Fetching org.eclipse.equinox.p2.ui.importexport_1.2.400.v20191016-0512.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (62.67kB) [INFO] Fetching org.eclipse.equinox.p2.updatesite_1.1.300.v20191016-0515.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (44.64kB) [INFO] Fetching org.eclipse.equinox.p2.user.ui_2.4.600.v20191120-0247.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (18.9kB) [INFO] Fetching org.eclipse.equinox.p2.user.ui_2.4.600.v20191120-0247.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (18.9kB) [INFO] Fetching org.eclipse.help.base_4.2.800.v20191210-0610.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (175.92kB) [INFO] Fetching org.eclipse.help.ui_4.1.700.v20191123-0656.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (204.92kB) [INFO] Fetching org.eclipse.help.webapp_3.9.700.v20191123-0656.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (284.94kB) [INFO] Fetching org.eclipse.help.webapp_3.9.700.v20191123-0656.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (284.94kB) [INFO] Fetching org.eclipse.jetty.continuation_9.4.24.v20191120.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (31.78kB) [INFO] Fetching org.eclipse.jetty.continuation_9.4.24.v20191120.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (31.78kB) [INFO] Fetching org.eclipse.jetty.io_9.4.24.v20191120.jar from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (170.14kB) [INFO] Fetching org.eclipse.jetty.io_9.4.24.v20191120.jar from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (170.14kB) [INFO] Fetching org.eclipse.jetty.security_9.4.24.v20191120.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (126.39kB) [INFO] Fetching org.eclipse.help_2.3.0.v20191210-0610.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (19.52kB) [INFO] Fetching org.eclipse.help_2.3.0.v20191210-0610.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (19.52kB) [INFO] Fetching org.eclipse.jsch.core_1.3.700.v20190925-1021.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (20.78kB) [INFO] Fetching org.eclipse.jsch.ui_1.3.700.v20191105-0922.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (34.58kB) [INFO] Fetching org.eclipse.platform_4.14.0.v20191210-0610.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (406.11kB) [INFO] Fetching org.eclipse.platform.doc.user_4.14.0.v20191204-0828.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (8.54MB) [INFO] Fetching org.eclipse.platform.doc.user_4.14.0.v20191204-0828.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (4.63MB of 8.54MB at 4.62MB/s) [INFO] Fetching org.eclipse.platform.doc.user_4.14.0.v20191204-0828.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (8.11MB of 8.54MB at 4.05MB/s) [INFO] Fetching org.eclipse.search_3.11.800.v20191122-2108.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (216.5kB) [INFO] Fetching org.eclipse.search_3.11.800.v20191122-2108.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (216.5kB) [INFO] Fetching org.eclipse.text.quicksearch_1.0.100.v20191122-2108.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (36.87kB) [INFO] Fetching org.eclipse.ui.intro.universal_3.3.700.v20191025-0657.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (1.74MB) [INFO] Fetching org.eclipse.ui.cheatsheets_3.5.600.v20191123-0656.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (147.38kB) [INFO] Fetching org.eclipse.ui.cheatsheets_3.5.600.v20191123-0656.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (147.38kB) [INFO] Fetching org.eclipse.ui.browser_3.6.600.v20191122-2109.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (97.35kB) [INFO] Fetching org.eclipse.ui.genericeditor_1.1.600.v20191114-0832.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (50.28kB) [INFO] Fetching org.eclipse.ui.monitoring_1.1.600.v20191106-1253.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (27.71kB) [INFO] Fetching org.eclipse.ui.net_1.3.600.v20190925-1021.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (20.41kB) [INFO] Fetching org.eclipse.ui.net_1.3.600.v20190925-1021.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (20.41kB) [INFO] Fetching org.eclipse.ui.externaltools_3.4.500.v20191025-1523.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (66.04kB) [INFO] Fetching org.eclipse.ui.win32_3.4.300.v20190926-0808.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (13.39kB) [INFO] Fetching org.eclipse.ui.themes_1.2.800.v20191127-1314.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (29.22kB) [INFO] Fetching org.eclipse.ui.intro.quicklinks_1.0.400.v20191119-0804.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (14.28kB) [INFO] Fetching org.eclipse.team.genericeditor.diff.extension_1.0.500.v20190925-1021.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (9.8kB) [INFO] Fetching org.eclipse.team.genericeditor.diff.extension_1.0.500.v20190925-1021.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (9.8kB) [INFO] Fetching org.eclipse.platform_4.14.0.v20191210-0610.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (20.44kB) [INFO] Fetching org.eclipse.platform_4.14.0.v20191210-0610.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (20.44kB) [INFO] Fetching org.eclipse.platform_root_4.14.0.v20191210-0610 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (196B) [INFO] Fetching org.eclipse.platform_root_4.14.0.v20191210-0610 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (196B) [INFO] Fetching org.eclipse.update.configurator_3.4.400.v20191122-2102.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (43.19kB) [INFO] Fetching org.eclipse.update.configurator_3.4.400.v20191122-2102.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (43.19kB) [INFO] Fetching org.eclipse.rcp_4.14.0.v20191210-0610.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (9.42kB) [INFO] Fetching org.eclipse.rcp_4.14.0.v20191210-0610.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (9.42kB) [INFO] Fetching org.eclipse.rcp_4.14.0.v20191210-0610.jar from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/features/ (19.1kB) [INFO] Fetching org.eclipse.rcp_4.14.0.v20191210-0610.jar from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/features/ (19.1kB) [INFO] Fetching org.eclipse.rcp_root_4.14.0.v20191210-0610 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (25.54kB) [INFO] Fetching org.eclipse.rcp_root_4.14.0.v20191210-0610 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (25.54kB) [INFO] Fetching org.eclipse.core.filesystem.linux.x86_64_1.2.300.v20180828-0158.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (11.32kB) [INFO] Fetching org.eclipse.core.net.linux.x86_64_1.2.400.v20190924-1023.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (93.41kB) [INFO] Fetching org.eclipse.core.net.linux.x86_64_1.2.400.v20190924-1023.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (93.41kB) [INFO] Fetching org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.1100.v20190907-0426.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (69.13kB) [INFO] Fetching org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.1100.v20190907-0426.jar.pack.gz from http://ftp.snt.utwente.nl/pub/software/eclipse//releases/2019-12/201912181000/plugins/ (69.13kB) [INFO] Fetching org.eclipse.e4.ui.swt.gtk_1.0.600.v20190627-0755.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (8kB) [INFO] Fetching org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (12.67kB) [INFO] Fetching org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (12.67kB) [INFO] Fetching org.eclipse.core.filesystem.macosx_1.3.200.v20190903-0945.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (15.18kB) [INFO] Fetching org.eclipse.core.filesystem.macosx_1.3.200.v20190903-0945.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (15.18kB) [INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt.cocoa_0.12.400.v20190926-0808.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (16.41kB) [INFO] Fetching org.eclipse.e4.ui.workbench.renderers.swt.cocoa_0.12.400.v20190926-0808.jar.pack.gz from http://mirror.dkm.cz/eclipse/releases/2019-12/201912181000/plugins/ (16.41kB) [INFO] Fetching org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.1.1100.v20190907-0426.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (39.44kB) [INFO] Fetching org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.1.1100.v20190907-0426.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (39.44kB) [INFO] Fetching org.eclipse.equinox.security.macosx_1.101.200.v20190903-0934.jar.pack.gz from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/plugins/ (24.56kB) [INFO] Fetching org.eclipse.ui.cocoa_1.2.300.v20190926-0808.jar.pack.gz from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/plugins/ (7.62kB) [INFO] Resolving class path of MavenProject: org.overturetool.ide.features:org.overture.ide.features.rcp:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/features/rcp/pom.xml [INFO] Computing target platform for MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/product/pom.xml [INFO] Resolving dependencies of MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/product/pom.xml [INFO] Fetching org.eclipse.equinox.executable_3.8.600.v20191014-2025.jar from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/features/ (247.68kB) [INFO] Fetching org.eclipse.equinox.executable_root.win32.win32.x86_64_3.8.600.v20191014-2025 from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/binary/ (150.98kB) [INFO] Fetching org.eclipse.equinox.executable_root.win32.win32.x86_64_3.8.600.v20191014-2025 from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/binary/ (150.98kB) [INFO] Fetching org.eclipse.equinox.executable_root.gtk.linux.x86_64_3.8.600.v20191014-2025 from http://ftp.fau.de/eclipse/releases/2019-12/201912181000/binary/ (25.82kB) [INFO] Fetching org.eclipse.equinox.executable_root.cocoa.macosx.x86_64_3.8.600.v20191014-2025 from http://ftp-stud.fht-esslingen.de/pub/Mirrors/eclipse/releases/2019-12/201912181000/binary/ (17.06kB) [INFO] Resolving class path of MavenProject: org.overturetool.ide:org.overture.ide.product:3.0.0 @ /var/lib/jenkins/workspace/overture-master/ide/product/pom.xml [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [HUDSON] Collecting dependencies info [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 [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Overture Tool Platform root 3.0.0 [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ root --- [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ root --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-master/.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-master/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-master/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-master/pom.xml to /var/lib/jenkins/workspace/overture-master/.repository/org/overturetool/root/3.0.0/root-3.0.0.pom [WARNING] Attempt to (de-)serialize anonymous class org.jfrog.hudson.maven2.MavenDependenciesRecorder$1; see: https://jenkins.io/redirect/serialization-of-anonymous-classes/