protected Set<Repo> getReposet() {
   return reposet.getRepos();
 }
 /**
  * Adds a module repository for a {@code <rep>} nested element
  *
  * @param rep the new module repository
  */
 public void addConfiguredRep(Repo rep) {
   reposet.addConfiguredRepo(rep);
 }