Artifacts of Overture IDE Eclipse VDM2C features #461