Started 2 yr 11 mo ago
Took 4.4 sec

Success Build #7 (May 8, 2018, 8:43:59 PM)

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