tomcat: Updated version
WebSocket server support