tree a8041425f286807ca6ce9d28d873fb6802c36bd7
parent 9c0a026d2a9ff2fae038eb1f9fa5cb12b1871088
author Andreas Wundsam <andreas.wundsam@bigswitch.com> 1382385496 -0700
committer Andreas Wundsam <andreas.wundsam@bigswitch.com> 1382385578 -0700

java_gen: renamed OFPortMap to OFPortBitMap

We could call it OFPortSet to emphasize that it is really a
set of ports. Map is definitely the wrong name though
as it evokes a Key->Value mapping.