Artifacts of Overture IDE Eclipse repository #172