public void xdrEncode(XdrEncodingStream xdr) { xdr.xdrEncodeInt(status); switch (status) { case nfsstat4.NFS4_OK: resok4.xdrEncode(xdr); break; case nfsstat4.NFS4ERR_DENIED: denied.xdrEncode(xdr); break; default: break; } }