The options for the REST manager.
Optional
The maximum number of retry attempts.
The proxy URL of the REST API.
The interval to wait between retries.
The auth token for the REST API.
The version of the REST API.
The options for the REST manager.