nick name server RMI