work-around for jenkins json api weirdness