XdrUint32 get newMaxTxSetSize => this._newMaxTxSetSize;
set newMaxTxSetSize(XdrUint32 value) => this._newMaxTxSetSize = value;