public DocumentSet getStaticallyKnownDocuments() {
public DocumentSet getStaticallyKnownDocuments() throws XPathException { if(staticDocuments != null) return staticDocuments; staticDocuments = new DocumentSet(); if(staticDocumentPaths == null) broker.getAllDocuments(staticDocuments); else { DocumentImpl doc; Collection collection; for(int i = 0; i < staticDocumentPaths.length; i++) { try { doc = broker.openDocument(staticDocumentPaths[i], Lock.READ_LOCK); if(doc != null) { if(doc.getPermissions().validate(broker.getUser(), Permission.READ)) { staticDocuments.add(doc); } doc.getUpdateLock().release(Lock.READ_LOCK);  } else { collection = broker.openCollection(staticDocumentPaths[i], Lock.READ_LOCK); if(collection != null) { collection.allDocs(broker, staticDocuments, true, true); collection.release(); } } } catch(PermissionDeniedException e) { LOG.warn("Permission denied to read resource " + staticDocumentPaths[i] + ". Skipping it."); } } }
	public DocumentSet getStaticallyKnownDocuments() {		return staticDocuments;	}