You can just use a normal Robocode install, then copy all of the bots from [1] into the robots directory.
