[kaffe] RMI bugs and quirks

[Guilhem Lavaux]

Hi again,

After a quick look at RMI implementation, I have found they have been
quite brutal with the implementation of Naming: methods do not check
whether the name is actually a true RMI URL or just the name of the binding.
In the latter case, we should not cut the first character of the file as 
it is not a '/' in that case.
In Naming.java, checking at least that getFile() returns '/' as the 
first character and removing
it if necessary should solve the problem I just have raised.

Cheers,
Guilhem.