LOG.debug("reading collection " + staticDocumentPaths[i]);
	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.");				}			}		}		return staticDocuments;	}