Real-time collaborative writing for Asciidoc file (Asciidoctor with Java EE 7 WebSocket)