Started 1 yr 10 mo ago
Took 3.9 sec

Success Build #15 (Oct 19, 2018 1:55:29 PM)

Changes
  1. Fix for bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=540082 (details)