{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "title": "PortNumber",
  "type": "integer"
}