This is the server part of the Ibis RMI implementation.