Started 4 yr 1 mo ago
Took 3.9 sec

Build #7 (May 8, 2018, 8:44:46 PM)

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