Artifacts of org.overture.ide.vdmsl.ui org.overture.ide.vdmsl.ui