public void setUnconditionalDerefParamDatabase( ParameterNullnessPropertyDatabase unconditionalDerefParamDatabase) { this.unconditionalDerefParamDatabase = unconditionalDerefParamDatabase; }
public abstract void setUnconditionalDerefParamDatabase(ParameterNullnessPropertyDatabase unconditionalDerefParamDatabase);
	public void setUnconditionalDerefParamDatabase(			ParameterNullnessPropertyDatabase unconditionalDerefParamDatabase) {		this.unconditionalDerefParamDatabase = unconditionalDerefParamDatabase;	}