Disabling the RMI garbage collector