Example Websocket Server in Tomcat