./jsontool.py is used to format json data.

./GenerateDBData.java is used to generate a large number of records.