Changed code so servers don't look up their own RMI registries