User tmpUser; while (enum.hasMoreElements()) { tmpUser = (User)enum.nextElement(); if (tmpUser.isGuest()) { tmpUser.removeFromAllowedChannelList(this); tmpUser.setCurrentChannel(null);
if (enum != null) { User tmpUser; try { while (enum.hasMoreElements()) { tmpUser = (User)enum.nextElement(); if (tmpUser.isGuest()) { tmpUser.removeFromAllowedChannelList(this); tmpUser.setCurrentChannel(null); } } } catch (java.util.NoSuchElementException e) { Debug.println(this + ": error while setting isAllowedForGuest" + e);
    public void setAllowedForGuest(boolean b) {        boolean old = this.isAllowedForGuest();        this.allowedForGuest = b;        if (old != b) {            if (old) {                Enumeration enum = this.getCurrentUserEnum();                User tmpUser;                while (enum.hasMoreElements()) {                    tmpUser = (User)enum.nextElement();                    if (tmpUser.isGuest()) {                        tmpUser.removeFromAllowedChannelList(this);                        tmpUser.setCurrentChannel(null);                    }                }            }        }