public final synchronized void setUser(User paramUser) {
public final void setUser(User paramUser) {
    public final synchronized 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;            Debug.println(this + " setUser to " + this.user);            if (paramUser != null) {                paramUser.setClientServant(this);            }            else {                this.stopClientServant();            }        }    }