/// <exception cref="System.IO.IOException"/>
        private void ReadTags(DataInputStream rf)
        {
            // Object[] arr=dict.keySet().toArray();
            int maxNumTags = 0;
            int len        = rf.ReadInt();

            for (int i = 0; i < len; i++)
            {
                string   word    = rf.ReadUTF();
                TagCount count   = TagCount.ReadTagCount(rf);
                int      numTags = count.NumTags();
                if (numTags > maxNumTags)
                {
                    maxNumTags = numTags;
                }
                this.dict[word] = count;
            }
        }