GWT project implementing PyWebSockets