An extension to the json-simple library