/** Initialize the key ranges */
 public void initialize() {
   long uniqueKeyCounter =
       TxBB.getBB().getSharedCounters().incrementAndRead(TxBB.UniqueKeyCounter);
   int lower = (int) (((uniqueKeyCounter - 1) * KEY_RANGE) + 1);
   int upper = (int) (uniqueKeyCounter * KEY_RANGE);
   lowerKeyRange.set(new Integer(lower));
   upperKeyRange.set(new Integer(upper));
   Log.getLogWriter()
       .info(
           "LowerKeyRange is "
               + lowerKeyRange.get()
               + ", upperKeyRange is "
               + upperKeyRange.get());
   super.initialize();
 }
 public UserTransactionImpl() {
   if (log.isDebugEnabled()) log.debug("new UserTx: " + this);
   this.tm = TxUtil.getTransactionManager();
 }
 public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException {
   this.tm = TxUtil.getTransactionManager();
 }