docs: public void setAlias(UserAlias userAlias)
  	{
  		m_alias = userAlias.getName();
  
  		// propagate to SelectionCriteria,not to Criteria
  		for (int i = 0; i < m_criteria.size(); i++)
  		{
  			if (!(m_criteria.elementAt(i) instanceof Criteria))
  			{
  				((SelectionCriteria) m_criteria.elementAt(i)).setAlias(userAlias);
  			}
  		}
  	}