public void setOutputProperties(Properties outputProperties) { if(outputProperties == null)
public void setOutputProperties(Properties properties) { if(properties == null)
	public void setOutputProperties(Properties outputProperties) {		if(outputProperties == null)			outputProperties = defaultProperties;		this.outputProperties = outputProperties;		receiver.setOutputProperties(outputProperties);	}