commits@petri.apache.org list: 80 new emails
discuss@petri.apache.org list: 47 new emails
private@petri.apache.org list: 35 new emails