Has anyone implemented a solutions that uses web sockets with BaseX? I've been doing some work with socket.io and node.js, but all the research I've done on Jetty points to the need to create .java files that manage the connection on the server side. Does that mean I'd need a BaseX module to manage that? Since Jetty seems to support web sockets, do you forsee any other issues specific to BaseX?