Added JSON decoder/encoder.