{
  "properties": {
    "configFile": {"type": "string", "json": false}
  }
}