{  if (m_numLines != numLines) m_changedNumLines = true;
{
	public void setNumLines(int numLines)	{        // Number has changed.        if (m_numLines != numLines)            m_changedNumLines = true;                if (numLines == 0)        {            // Transform to biggest possible int.            m_numLines = Integer.MAX_VALUE;            }        else         {            m_numLines = numLines;        }	    m_list.setMaxItems(m_numLines);	}