#re #7830 Repaired value formats for output JSONNOTE: the JSON originally does not show the class header.
#re #7830 Repaired value formats for output JSON
NOTE: the JSON originally does not show the class header.