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

	Build Artifacts vdmclibdist-0.1.17-SNAPSHOT.jar 42.13 KB  view vdmclibdist-0.1.17-SNAPSHOT.pom 1.73 KB  view
	No changes.
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 444. New zero warnings highscore: no warnings for 55 days!