throw new PortNotDefinedException("WS port: " + portName +
" has been unregistered");
if (wsInfo.getInUse()) {
wsInfo.setInUse(false);
logger.finest("wake up sleeper waiting for port to be released");
wsInfo.notify();
return;
}
else
throw new PortNotInUseException("WS Port " + portName + " not in use");
}