If an RMI server crashes, when/how is the name of this server removed from the Java RMI registry where it registered itself?
If an RMI server crashes, when/how is the name of this server removed from the Java RMI registry where it registered itself?
Never. The Registry doesn't get told about that, and doesn't check it.