CMMN extensions to the jBPM Console