Artifacts of org.overture.ide.plugins.csk org.overture.ide.plugins.csk