[undertow-dev] Build failed in Jenkins: Undertow #23