Artifacts of org.overture.ide.ui #30