JsonWriter is more general than JsonFormat here - imagine we don't have a reader from json.