Jenkins : Workflow Plugin

Renamed to Pipeline Plugin.