SuccessConsole Output

Started by user stephan.herrmann@berlin.de
[workspace] $ /bin/bash /tmp/hudson7843310757632896527.sh
Available builds:
I20171030-0400
I20171106-0630
I20171112-2000
I20171113-2000
I20171114-2000
I20171115-0025
I20171115-0115
I20171115-2000
I20171116-2000
I20171117-2000
index.html
M20171018-0440
M20171018-0705
M20171025-0400
M20171101-0400
M20171108-0400
M20171108-0500
M20171108-1700
M20171113-0400
M20171114-1700
M20171115-0400
M20171115-1700
M-4.7.2RC1-201711081700
M-4.7.2RC2-201711151700
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
S-4.8M3-201710252000
S-4.8M3a-201710300400
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.2.v20171115-1700
jdt.feature.version.next=3.13.2.v20171115-1701

# jdt.core fragments for extracting pre-built classes and properties:
jdt.compiler.apt=org.eclipse.jdt.compiler.apt_1.3.60.v20171108-1401.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.2.v20171115-1700" patch="true"/>
===================================
Finished: SUCCESS