using tomcat web sockets