Build Overture IDE VDM-RT (RealTime) Top-level (Mar 5, 2019 8:43:15 AM)

	Build Artifacts org.overture.ide.vdmrt-2.6.5-SNAPSHOT.pom 850 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!