}
    public void setUser(User paramUser) {        if (this.user != paramUser) {            if (this.user != null) {                User old = this.user;                this.user = null;                old.setClientServant(null);            }            this.user = paramUser;            if (paramUser != null) {                paramUser.setClientServant(this);            }            else {                this.stopClientServant();            }        }    }