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