Add rmi.server_controller_interval