return; if (resolver != null) resolver.setState(null);
return; if (resolver != null) { Resolver oldResolver = resolver; resolver = null; oldResolver.setState(null); }
	public void setResolver(Resolver newResolver) {		if (resolver == newResolver)			return;		if (resolver != null)			resolver.setState(null);		resolver = newResolver;		if (resolver == null)			return;		resolver.setState(this);	}