Ejemplo HolaMundo de RMI (sólo servidor)