# File rbot/registry.rb, line 123
    def set_default (default)
      @default = default
    end