Plugin to work around JENKINS-16462.