// Because we can't be absolutely certain where the Trie deserialize will
// leave the input stream, leave position unchanged.
// The seek to the start of the next item following the TRIE will get us
// back in sync.
//
dis.skip(This.fHeader.fTrie - pos); // seek input stream from end of previous section to
pos = This.fHeader.fTrie; // to the start of the trie
dis.mark(This.fHeader.fTrieLen+100); // Mark position of start of TRIE in the input
// and tell Java to keep the mark valid so long
// as we don't go more than 100 bytes past the