SuccessConsole Output

Started by user stephan.herrmann@berlin.de
[workspace] $ /bin/bash /tmp/hudson2506925964661811116.sh
Available builds:
I20170918-2000
I20171002-2000
I20171009-2000
I20171011-2000
I20171012-2000
I20171013-2000
I20171014-1500
I20171015-0655
I20171015-2000
I20171016-2000
I20171017-0515
index.html
R-4.6.3-201703010400
R-4.7.1-201709061700
R-4.7.1a-201710090410
R-4.7-201706120950
S-4.8M1-201708022000
S-4.8M2-201709132000
U20170928-1310
U20171009-0630

Versions for run.properties:
============================
# Details of the Eclipse SDK built upon:
run.eclipseScriptDir=plugins/org.eclipse.pde.build_3.9.300.v20170515-0912/scripts
org.eclipse.equinox.launcher_jar=org.eclipse.equinox.launcher_1.4.0.v20161219-1356.jar

# for patching our patch feature to match this version with any suffix:
jdt.feature.version=3.13.1.v20171009-0410
jdt.feature.version.next=3.13.1.v20171009-411

# jdt.core fragments for extracting pre-built classes and properties:
jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.50.v20170920-0950.jar
jdt.compiler.tool=org.eclipse.jdt.compiler.tool_1.2.50.v20170920-0950.jar

Version for org.eclipse.objectteams.otdt.core.patch.feature:
============================================================
      <import feature="org.eclipse.jdt" version="3.13.1.v20171009-0410" patch="true"/>
===================================
Finished: SUCCESS