Real-time collaborative editor for Asciidoc file (based on AsciidoctorJ and Java EE 7)