Artifacts of Overture IDE Eclipse Coverage Editor feature #198