gerrit.onosproject.org / onos / e8699cd5d888e74853541dd56c0fa03582ab59cd / web / api / src / main / resources / definitions / DeviceGetPorts.json