/** Sets up the robot driver for this maze depending on the type selected */
 private void setUpRobotDriver() {
   switch (driverType) {
     case "Wizard":
       driver = new Wizard();
       driver.setDistance(mazedists);
       driver.setRobot(new BasicRobot(this));
       break;
     case "Wall Follower":
       driver = new WallFollower();
       driver.setRobot(new BasicRobot(this));
       break;
     case "Curious Mouse":
       driver = new CuriousMouse();
       driver.setDimensions(mazew, mazeh);
       driver.setRobot(new BasicRobot(this));
       break;
       // The default case is a manual driver.
     default:
       manualDriver = new ManualDriver();
       driver = manualDriver;
       manualDriver.setRobot(new BasicRobot(this));
       break;
   }
 }