websocket example on tomcat7