public void setDocument(String docKey, String document) throws DBException {
Transaction tx = new Transaction();
try {
DocumentTable dt = DTSMHelper.textToTable(document, col.getSymbols());
col.setDocument(tx, docKey, dt);
tx.commit();
}
catch ( DBException e ) {
tx.cancel();
throw e;
}