/* make sure resource found in undoOp is released */
 public void releaseResource(Transaction xact) {
   if (undoOp != null) undoOp.releaseResource(xact);
   super.releaseResource(xact);
 }
 /**
  * Write this out.
  *
  * @exception IOException error writing to log stream
  */
 public void writeExternal(ObjectOutput out) throws IOException {
   super.writeExternal(out);
   CompressedNumber.writeInt(out, recordId);
 }
 /**
  * Read this in
  *
  * @exception IOException error reading from log stream
  * @exception ClassNotFoundException log stream corrupted
  */
 public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException {
   super.readExternal(in);
   recordId = CompressedNumber.readInt(in);
 }