}
}
else {
myLogger.log(Logger.WARNING,"Error transferring identity of agent " + agentID.getName());
a.restoreBufferedState();
dest.handleTransferResult(agentID, transferResult, messages);
myLogger.log(Logger.WARNING,"Migration of agent " + agentID.getName() + "aborted");
}
}
//#DOTNET_EXCLUDE_BEGIN