JSON compressor and decompressor