A JSON Specification Generator