docs: public List<String> listDocuments(String uri) throws Exception
      {
          List<String> documentsURI = new ArrayList<String>();
  
          String repoUID = getPath(uri);
      	if (repoUID == null) throw new UnsupportedDocumentException("Missing repo UID");
  
          Vector<Vector<String>> definitions = downloadSpecificationsDefinitions(repoUID);
          for(Vector<String> definition : definitions)
          {
          	String docName = repoUID + "/" + definition.get(4);
          	documentsURI.add(docName);
          }
          
      	return documentsURI;
      }