static void encode(XdrDataOutputStream stream, XdrIPAddrType value) { stream.writeInt(value.value); }