Fix pkidestroy for proxy ports

Current pkidestroy fails to remove a system that has been configured to
use proxy ports because the wrong ports are passed into the
updateDomainXML servlet.  This small patch fixes this problem.

Please review, 
Ade