org.kiama.example.json.JSONTree
The name of a JSON field.
(Since version 2.8.0) use productIterator instead
The name of a JSON field.