avaje-generator-bug-example