Update JSONEncoder.py