jBPM 5 workflow extension for Jenkins CI.