Build #198 (Mar 5, 2019 10:31:15 AM)

	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,287 days!