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
// past the end of the TRIE.
This.fTrie = new CharTrie(dis, fTrieFoldingFunc); // Deserialize the TRIE, leaving input
// stream at an unknown position, preceding the
// padding between TRIE and following section.
dis.reset(); // Move input stream back to marked position at
// the start of the serialized TRIE. Now our