Thanks for the pointer and fix, patches always the way to go!
Forum posts get lost easily though in the busy life of a core developer, place it on his plate so to speak by raising the issue in the project itself:
https://issues.jboss.org/browse/JBPM-3024