}
}
private ChannelIdentifier readChannelId() throws IOException {
int channelNum = decoder.readSmallInt();
ChannelIdentifier channelId = channels.get(channelNum);
if (channelId == null) {
String channel = decoder.readString();
channelId = new ChannelIdentifier(channel);
channels.put(channelNum, channelId);
}
return channelId;
}