properties.setProperty(KEY_USED_PAGES + docName, String.valueOf(usedPages));
}
private final void flushAuxiliaries(final DbCollection coll, final String docName, final PropertyMap properties)
throws DbException {
final DocumentTableModel dtm = new DocumentTableModel(this);
final LabelingHandler handler = new LabelingHandler(this, coll, docName, properties);
try {
dtm.export(0, handler);
} catch (XQueryException e) {
throw new IllegalStateException(e);
}
final QNameTable sharedQNames = coll.getSymbols().getQnameTable();
sharedQNames.load(_nameTable);