specs for JsonFormats