For the reference of others: for some reason, the "propagation" attribute of event-listener elements that was present in the 4.0 JPDL XSD, was removed in version 4.1. It is also missing in 4.2. Jira says that it has been fixed in 4.3.
https://jira.jboss.org/jira/browse/JBPM-2575