public void xdrEncode(XdrEncodingStream xdr) { pe_prev_entry_cookie.xdrEncode(xdr); }
public void xdrEncode(XdrEncodingStream xdr) { nrm_old_entry_cookie.xdrEncode(xdr); }