Fixed the killall bug in the launcher that prevented the RMI registry from running.