public void xdrDecode(XdrDecodingStream xdr) { value = new utf8string(xdr); }
public utf8str_mixed(utf8string value) { this.value = value; }
public utf8str_cs(utf8string value) { this.value = value; }