if (m_numLines == Integer.MAX_VALUE) {  return 0; }
    public int getNumLines()    {        if (m_numLines == Integer.MAX_VALUE)        {            // Return 0 for whole file.            return 0;        }                return m_numLines;    }