Patched json-lib used in Jenkins