updated a few JSON library source files