Modifications to JSON-Simple