Package jenkins.widgets