/**
  * Gets the default commands that should always be available.
  *
  * @return array An array of default Command instances
  */
 protected function getDefaultCommands()
 {
     // Keep the core default commands to have the HelpCommand and ListCommand
     // which is used when using the --help and --list option
     $defaultCommands = parent::getDefaultCommands();
     foreach (VagrantCommand::commands() as $command) {
         $defaultCommands[] = new VagrantCommand($command);
     }
     foreach (VagrantSshCommand::classes() as $class) {
         $defaultCommands[] = new VagrantSshCommand($class);
     }
     return $defaultCommands;
 }