[switchyard-dev] Jenkins build is unstable: SwitchYard-Tools #640