BPMN2: workaround of bug 1157656