RMI Server now uses property file