org.kiama.example.picojava.benchmark
(Since version 2.11.0) The delayedInit mechanism will disappear.