code: public Iterator<URI> getSpecURIs() throws SpecSerDeException{
      try {
        return specStore.getSpecURIs();
      } catch (IOException ioe) {
        throw new SpecSerDeException("Cannot retrieve Specs' URI from Spec Store", specStore.getSpecStoreURI().get(), ioe);
      }
    }
docs: ************************************************
  /* Catalog core functionality                     *
  ***********************************************