Build #461 (Nov 29, 2017 10:21:39 AM)

	Build Artifacts org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT-p2artifacts.xml 710 B  view org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT-p2metadata.xml 6.83 KB  view org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT.jar 6.03 KB  view org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT.pom 705 B  view
	No changes.
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 79. New zero warnings highscore: no warnings for 565 days!