Update jsoncodec.h