Simple utility to format JSON for use in a javadoc
$ python3 jdoctr.py
Simple utility that formats JSON for use in a javadoc