public void xdrDecode(XdrDecodingStream xdr) { attrmask = new bitmap4(xdr); attr_vals = new attrlist4(xdr); }