writeJsonString(): JSON string escape characters are escaped.