// confirm that this port has finished migrating
uInfo.migrationComplete();
// notify sleepers waiting for this port to finish migrating
uInfo.notify();
}
} else {
logger.severe("Port " + usingPortName + " not defined");
throw new PortNotDefinedException("Port " + usingPortName + " not defined");
}