Enumeration enum = this.getChannelEnum(); while (enum.hasMoreElements()) { tmpChannel = (Channel)enum.nextElement(); if (!tmpList.contains(tmpChannel)) { this.removeFromChannelList(tmpChannel); } }
    public synchronized void setChannelList(Enumeration channelEnum) {        Vector tmpList = new Vector();        Channel tmpChannel;        while (channelEnum.hasMoreElements()) {            tmpChannel = (Channel)channelEnum.nextElement();            tmpList.addElement(tmpChannel);            this.addToChannelList(tmpChannel);        }        Enumeration enum = this.getChannelEnum();        while (enum.hasMoreElements()) {            tmpChannel = (Channel)enum.nextElement();            if (!tmpList.contains(tmpChannel)) {                this.removeFromChannelList(tmpChannel);            }        }