Fix various 20141120 (for PortForwardManager)

This is currently for review only, and for sharing with @Nakomis
I'm happy with the first two commits; but not the "TODO Hack" commit!
As before, `forgetPortMapping(Location, int)` doesn't exist.