new interface for JSONVisitor + JSONPrettyPrint
Removed unused main()