This is the Registry for the Ibis RMI implementation.