discuss@petri.apache.org list: 16 new emails
private@petri.apache.org list: 37 new emails
commits@petri.apache.org list: 51 new emails