Started 1 yr 10 mo ago
Took 4.3 sec

Success Build #14 (Oct 3, 2018 5:58:55 PM)

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