FTR, about mapping the module name to Maven group/artifact, Ceylon modules are getting optional group/artifact descriptors in their module descriptors too, because keeping a sane mapping between Maven and Ceylon modules was too hard otherwise. Similarly we now store the group/artifact IDs in JBoss Modules properties.