RMI naming provider implementation.