a websocket example tomcat7