return super.setProperty( name, value );
if (value == null) { return remove(name); } else { return super.setProperty( name, value ); }
	public Object setProperty( String name, String value ) {		written = false;		return super.setProperty( name, value );	}