Build Overture IDE Eclipse VDM2C features (Nov 27, 2017 7:17:40 PM)

	Build Artifacts org.overturetool.vdm2c.ide.features-0.1.17-SNAPSHOT.pom 688 B  view
	No changes.
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 1. New zero warnings highscore: no warnings for 432 days!