public void put_device_property(String name, DbDatum[] properties) throws DevFailed {
		databaseDAO.put_device_property(this, name, properties);
	}
public void put_device_property ( String name , DbDatum [ ] properties ) throws DevFailed { databaseDAO . put_device_property ( this , name , properties ) ; }
==========================================================================