CollaborativeEditor A collaborative Editor to facilitate file editing of multiple clients on one server concurrently