Patched jelly used in Jenkins - View it on GitHub