Artifacts of org.overture.ide.plugins.coverageeditor org.overture.ide.plugins.coverageeditor