The WebSocket issue has been fixed and we can now embedded Netty and get the SimplePush server working with WebSockets.
The server itself should listening to the following port:

    <socket-binding name="simplepush" port="8676"/>

A client would connect using port 8000, for example:

    http://wsfix-dbevenius.rhcloud.com:8000/simplepush/info

With this the websocket upgrade request:

    GET /simplepush/510/syd1_3ao/websocket HTTP/1.1
    Connection: Upgrade
    Upgrade: websocket
    Sec-WebSocket-Version: 13
    Sec-WebSocket-Key: MTMtMTM3NDM5OTIwNjU4OQ==
    Cookie: __utma=152814842.1660699493.1368787904.1368787904.1368787904.1; __utmz=152814842.1368787904.1.1.utmcsr=(direct)|utmccn=(direct)|utmcmd=(none)
    Host: 127.6.129.129:8676
    Content-Length: 0

succeeds with the response of:

    HTTP/1.1 101 Switching Protocols
    Connection: Upgrade
    Sec-WebSocket-Accept: ksne8lJvjsuTZXGPaXCNvQJHPg8=
    Upgrade: websocket

[1] https://bugzilla.redhat.com/show_bug.cgi?id=984748

This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira