Support additional options for the JSON formatter