throw new PortNotDefinedException("WS port: " + wsPortName +
" has been unregistered");
if (wsInfo.getInUse())
throw new NonstandardException("WS Port : " + wsPortName +
" still in use");
wsInfo.disconnectPort();
}
} else
throw new PortNotDefinedException("WS Port : " + wsPortName +
" not defined");
}