CoRED: browser-based Collaborative Real-time Editor for Java web applications