Artifacts of Overture IDE Eclipse Developer Utilities feature Overture IDE Eclipse Developer Utilities feature

	org.overturetool.ide.plugins.features/org.overture.ide.plugins.features.developerutils/2.6.5-SNAPSHOT
(all files in zip)