The DisplayServer RMI communication layer