public Set<MPSModuleOwner> getModuleOwners(SModule module) {
return new HashSet<MPSModuleOwner>(REPO.getOwners(module));
}
// intended to use only when module is removed physically
public void removeModuleForced(SModule module) {
Set<MPSModuleOwner> owners = new HashSet<MPSModuleOwner>(REPO.getOwners(module));
for (MPSModuleOwner owner : owners) {
REPO.unregisterModule(module, owner);
}
}
