Build #200 (Sep 6, 2019 2:49:18 PM)

	Build Artifacts org.overture.ide.vdmpp-2.6.5-SNAPSHOT.pom 837 B  view
	No changes.
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 2. New zero warnings highscore: no warnings for 1,473 days!