Artifacts of org.overture.ide.platform org.overture.ide.platform