[undertow-dev] Jenkins build became unstable: Undertow #87