public DocumentSet getStaticallyKnownDocuments() {
public DocumentSet getStaticallyKnownDocuments() throws XPathException {
	public DocumentSet getStaticallyKnownDocuments() {		return parentContext.getStaticallyKnownDocuments();	}