case TransactionManager.MVLOCKS :
database.txManager = new TransactionManagerMV2PL(database);
break;
case TransactionManager.MVCC :
database.txManager = new TransactionManagerMVCC(database);
break;
}
String txLevel = database.databaseProperties.getStringProperty(
HsqlDatabaseProperties.hsqldb_tx_level);