Build Core Tools for vdm2c (Nov 30, 2017 9:41:02 AM)

	No changes.
	Task Scanner: 0 open tasks in 1 workspace file. No warnings since build 72. New zero warnings highscore: no warnings for 566 days!