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

	Build Artifacts vdm2c-0.1.17-SNAPSHOT-jar-with-dependencies.jar 7.73 MB  view vdm2c-0.1.17-SNAPSHOT.jar 417.18 KB  view vdm2c-0.1.17-SNAPSHOT.pom 5.62 KB  view
	No changes.
	Task Scanner: 27 open tasks in 134 workspace files.
	Test Result (no failures)