A basic collaborative text editor in Java