fix for issue JENKINS-12800

fix for issue JENKINS-12800
https://issues.jenkins-ci.org/browse/JENKINS-12800