{"additionalProperties": false, "type": "object", "properties": {"batchSize": {"default": 1000, "type": "integer"}, "flushTimeout": {"default": "00:00:30", "pattern": "^(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d$"}}}