[undertow-dev] Undertow Websockets production tweak