Make RMI server target configurable