Fix for RMI registry lookups and Finger serializability