public TypeEnvironment(boolean rememberSubtypes) { if (rememberSubtypes) { fSubTypes= new HashMap(); }
public TypeEnvironment() { this(false);
	public TypeEnvironment(boolean rememberSubtypes) {		if (rememberSubtypes) {			fSubTypes= new HashMap();		}	}