Real-time collaborative editing plugin for IntelliJ