Jenkins build became unstable: ODP publish » master,scan_build,docker-jessie-amd64,generic #525