}
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);
}