for (int i = 0; i < channels.length; i++) {
Object channel = channels[i];
if (oldChannelName.equals(channel)) {
// make a new version of the Record with a different channel name
channels[i] = newChannelName;
Record reroutedRecord = new Record(record.content, channels, record.depth, record.timesstamp);
results.add(reroutedRecord);
return results;
}
}