LocalTxXid xid = getNextTxId();
LocalTx xid = getNextTxId();
   public LocalTxXid createLocalTx()   {      TxState tx = new TxState();      LocalTxXid xid = getNextTxId();      transactions.put(xid, tx);      return xid;   }