toJsonReplacer() patch  to support Badgerfish Json format