sInfoBuffer.append("<portName>" +
(String) wsKeys[i] +
"</portName>");
// copy over information from WSPortInfo to WsPortRecord
WSPortInfo wInfo = (WSPortInfo) wsPortMap.get(wsKeys[i]);
sInfoBuffer.append("<wsPortRecord>");
sInfoBuffer.append("<portName>" +
wInfo.getPortName() +
"</portName>");
sInfoBuffer.append("<portType>" +
wInfo.getPortType() +
"</portType>");
sInfoBuffer.append("<inUse>" +
false +
"</inUse>"); // inUse is always false before & after migration
sInfoBuffer.append("<unregistered>" +
wInfo.isUnregistered() +
"</unregistered>");
if (wInfo.isConnected())
sInfoBuffer.append("<endPointLocation>" +
wInfo.getEndPointLocation() +
"</endPointLocation>");
// copy over the TypeMap object
sInfoBuffer.append("<properties>");
TypeMap tMap = wInfo.getProperties();
String[] mapKeys = tMap.getAllKeys();
for (int j = 0; j < mapKeys.length; j++) {
sInfoBuffer.append("<propertiesEntry>");
sInfoBuffer.append("<key>" +
mapKeys[j] +