Fix for jenkins plugin