public void xdrDecode(XdrDecodingStream xdr) { seconds = new int64_t(xdr); nseconds = new uint32_t(xdr); }