{
  "$id": "#ExternalFile",
  "title": "ExternalFile",
  "description": "ExternalFile json encoded value",
  "type": "string"
}