tree 17e7fbc11a0abf7ff21f86023a3907ff4d68137e
parent d83844d039b6c2a134096aed2d6ef52e9e4343ab
author Yuta HIGUCHI <y-higuchi@onlab.us> 1402979340 -0700
committer Gerrit Code Review <gerrit2@gerrit.onos.onlab.us> 1403739982 -0700

Rename Port to PortNumber

Current util.Port actually only represent a port number.
Renaming it to PortNumber, so that it matches what it actually reprsent.

- Updated javadoc
- Removed unnecessary hashCode calculation
- Hide default constructor from public

Change-Id: Ib26c746eaa27464356c4ca0abff6af5e321afc35