Fixes issue #26.
Huffman user tables do not work in TextRegion segments. This issue can be fixed by replacing the method TextRegion.getUserTable() with the method copied from SymbolDictionary.getUserTable(). It implements properly the search algorithm that finds the user table (Table segment) in the referred-to array.
Fixes issue #26. Huffman user tables do not work in TextRegion segments. This issue can be fixed by replacing the method TextRegion.getUserTable() with the method copied from SymbolDictionary.getUserTable(). It implements properly the search algorithm that finds the user table (Table segment) in the referred-to array.