The windows Jenkins job is crashing - lack of tmp space - so I've disabled it for the moment and filed INFRA-11365. Whether lack of tmp is the symptom or the cause is unclear (it only runs -pDev). And some other recent problems have different error messages. Andy