WebSockets chat on Tomcat 7