Artifacts of bpm-tools #217