Build Developer Utilities for Overture (Feb 9, 2021 11:47:34 AM)

	Build Artifacts org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT-p2artifacts.xml 614 B  view org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT-p2metadata.xml 2.29 KB  view org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT.jar 12.57 KB  view org.overture.ide.plugins.developerutils-3.0.3-SNAPSHOT.pom 727 B  view
	No changes.
	Task Scanner: 1 open task in 4 workspace files.