}

    /**
     * Test hashCode method
     */
    public void test_hashCode() {
        // Same status should have same hashCode
        CrawlerStatus status1 = CrawlerStatus.INITIALIZING;
        CrawlerStatus status2 = CrawlerStatus.INITIALIZING;
        assertEquals(status1.hashCode(), status2.hashCode());

            }
            if (posInc != o.posInc) {
                return false;
            }
            return true;
        }

        @Override
        public int hashCode() {
            return word.hashCode() + posInc << 30 + startOffset << 15 + endOffset;
        }
    }

    /*
     * static class SynInfo { final String src; final int offset, length; final String[] synonyms; Mode mode; int count;