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