Build org.overture.ide.vdmrt.debug (Nov 10, 2020 9:58:30 AM)

	No changes.
	Task Scanner: 1 open task in 7 workspace files.