An addon to the json-simple library, to make it generally easier to use