*   <li>ftpConfigServerTimeZoneId: The time zone ID of the FTP server.</li>
 *   <li>activeExternalHost: The external IP address to use for active mode FTP.</li>
 *   <li>activeMinPort: The minimum port number for active mode FTP.</li>
 *   <li>activeMaxPort: The maximum port number for active mode FTP.</li>
 *   <li>autodetectEncoding: Whether to automatically detect UTF-8 encoding.</li>

        return clientFactory;
    }

    /**
     * Checks if the crawler is running in background mode.
     * @return true if in background mode, false otherwise.
     */
    public boolean isBackground() {
        return background;
    }

    /**
     * Sets the background mode for the crawler.
     * If true, the execute method will not wait for termination.

    }

    /*
     * static class SynInfo { final String src; final int offset, length; final String[] synonyms; Mode mode; int count;
     * SynInfo(String src, int offset, int length, String[] synonyms){ this.src = src; this.offset = offset; this.length
     * = length; this.synonyms = synonyms; }
     *
     * static enum Mode { PREV, SYN, AFTER; } }
     */

    static class MyTokensComparator implements Comparator<MyToken> {