json_schema: {
      "$schema": "http://json-schema.org/draft-04/schema#",
      "title": "ImboLauncher configuration",
      "description": "The configuration file used by ImboLauncher to start one or more Imbo servers",
      "type": "object",
      "properties": {
          "servers": {
              "description": "List of server definitions",
              "type": "array",
              "minItems": 1,
              "items": {
                  "type": "object",
                  "properties": {
                      "version": {
                          "description": "Which Imbo version to use for this definition",
                          "type": "string"
                      },
                      "host": {
                          "description": "Which host to use for this server",
                          "type": "string"
                      },
                      "port": {
                          "description": "Which port to use for this server",
                          "type": "number"
                      },
                      "config": {
                          "description": "Which configuration file to use for this server",
                          "type": "string"
                      }
                  },
                  "required": [
                      "version",
                      "host",
                      "port",
                      "config"
                  ]
              }
          }
      },
      "required": [
          "servers"
      ]
  }