Update json-gen.py