*/
    protected void updateHighlightInfo(final HighlightInfo highlightInfo, final int width) {
        if (width < TABLET_WIDTH) {
            float ratio = (float) width / (float) TABLET_WIDTH;
            if (ratio < 0.5) {
                ratio = 0.5f;
            }
            highlightInfo.fragmentSize((int) (highlightInfo.getFragmentSize() * ratio));
        }
    }

    /**

                }
                // Use exponential backoff for more efficient waiting
                if (attempt < 10) {
                    Thread.sleep(500); // First 10 attempts: 0.5 second intervals
                } else if (attempt < 30) {
                    Thread.sleep(1000); // Next 20 attempts: 1 second intervals
                } else {

tl=tl\n\
tr=tr\n\
uk=uk\n\
ur=ur\n\
vi=vi\n\
zh-cn=zh-cn\n\
zh_CN=zh-cn\n\
zh-tw=zh-tw\n\
zh_TW=zh-tw\n\
zh=zh\n\

# boost

# Boost value for title field in queries.
query.boost.title=0.5
# Boost value for title field with language in queries.
query.boost.title.lang=1.0
# Boost value for content field in queries.
query.boost.content=0.05
# Boost value for content field with language in queries.