RMI implementation in Java