code: public void put_device_alias(String devname, String aliasname) throws DevFailed {
  		databaseDAO.put_device_alias(this, devname, aliasname);
  	}
docs: ==========================================================================