#Use RMI naming
java.naming.factory.initial=com.sun.jndi.rmi.registry.RegistryContextFactory
#The location of the name service
java.naming.provider.url=rmi://localhost:@@dspace.rmi.port@@
#Only needed if client should install an RMI Security Manager
#java.naming.rmi.security.manager=1