Playing around with the java RMI API