Jenkins build became unstable: ODP publish » next,dox_html,docker-jessie-amd64,generic #536