3rd-party mention of json-simple