(function() {    var toc =  [{"name":"Introduction","type":"item","tilePath":"","description":"","url":"buildhelp/builder_integration_jenkins/jenkins_introduction.htm"},{"name":"Example: Installing Jenkins","type":"book","tilePath":"","description":"","url":"buildhelp/builder_integration_jenkins/installing_jenkins.htm","key":"toc56"},{"name":"Configuring Jenkins System Properties","type":"book","tilePath":"","description":"","url":"buildhelp/builder_integration_jenkins/configure_jenkins_system_properties.htm","key":"toc57"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();