if (uInfo.isUnregistered())
throw new PortNotDefinedException("Uses port: " + usingPortName +
" has been unregistered");
// confirm that this port has finished migrating
uInfo.migrationComplete();
// notify sleepers waiting for this port to finish migrating
uInfo.notify();
}
} else {