docs: public Document loadDocument(String location) throws Exception
  	{
  		Vector<String> definition = getDefinition(location);
  
  		DocumentRepository repository = getRepository(definition);
  		
      	String specLocation = definition.get(4) + (implemented != null ? "?implemented="+implemented : "");
  
          Document document = repository.loadDocument(specLocation);
  
  		if (postExecutionResult)
  		{
  			document.setSpecificationListener(new PostExecutionResultSpecificationListener(definition, document));
  		}
  
  		return document;
  	}