Enumeration enum = this.clientServantList.elements();
Enumeration enum = this.getClientServantEnum();
    public void stopServer() {        this.stop = true;        this.clientServantWatchDog.stop = true;        Enumeration enum = this.clientServantList.elements();        while (enum.hasMoreElements()) {            this.removeFromClientServantList((ClientServant)enum.nextElement());        }