Switch to a less buggy Java JSON library