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