call to rmi registry modified to work around java 1.6 rmi bug