public void setStaticallyKnownDocuments(DocumentSet docs) { staticDocuments = docs;
public void setStaticallyKnownDocuments(String[] docs) { staticDocumentPaths = docs;
	public void setStaticallyKnownDocuments(DocumentSet docs) {		staticDocuments = docs;	}