}
for (int j = 0; j < farReceivers[channelIndex].length; j++) {
TypedIOPort port = (TypedIOPort) farReceivers[channelIndex][j]
.getContainer();
Token newToken = port.convert(token);
farReceivers[channelIndex][j].put(newToken);
}
} catch (ArrayIndexOutOfBoundsException ex) {
// NOTE: This may occur if the channel index is out of range.
// This is allowed, just do nothing.