Build Overture IDE Eclipse repository (Nov 28, 2017 2:19:18 PM)

	Build Artifacts org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT-p2artifacts.xml 100 B  view org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT-p2metadata.xml 949 B  view org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT.pom 994 B  view org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT.zip 50.13 MB  view
	No changes.
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 1. New zero warnings highscore: no warnings for 433 days!