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