if (this.channelChoice.getSelectedItem().compareTo(name) != 0) { this.chatText.setText(""); }  this.channelChoice.select(name);
    public synchronized void setCurrentChannelData(String name, Vector userNames) {        // leert das ChatTextFeld, wenn serverseitig der aktuelle Channel verndert wurde        if (this.channelChoice.getSelectedItem().compareTo(name) != 0) {          this.chatText.setText("");        }        // setzt die Channelauswahl auf den neuen Channelnamen        this.channelChoice.select(name);        String selectedUser = new String();        if (this.userList.getSelectedItem() != null) {          selectedUser = this.userList.getSelectedItem();        }        this.userList.removeAll();        Enumeration enum;        if (userNames != null) {            enum = userNames.elements();        }        else {            enum = (                new Vector()).elements();        }        this.userList.add("Alle");        while (enum.hasMoreElements()) {            this.userList.add((String)enum.nextElement());        }