RMI naming provider implementation. Toolkit deprecated and replaced by http://spice.sourceforge.net/jndikit/