Refactor OpenFlow server socket config to OFSwitchManager and expose more configuration options via floodlightdefault.properties