/** Returns the number of existing channels. */
public int getChannelCount() {
return channels.size();
}
/** Get a channel by number in the list. */
public Channel getChannel(int num) {
return ((num >= 0 && num < channels.size()) ? channels.get(num) : null);
}