Externalize RMI config via rmi.properties