code: public void delete_device_property(String name, String[] propnames) throws DevFailed {
  		databaseDAO.delete_device_property(this, name, propnames);
  	}
docs: ==========================================================================