public Dictionary getVocabulary() {
if (vocabulary == null) {
synchronized (this) {
if (vocabulary == null) {
//�����5639�����д����ȡ0x2fff=x^13>8000>8000*0.75=6000>5639
vocabulary = new HashBinaryDictionary(wordsLoader
.loadCJKVocabulary().toArray(new String[0]), 0x2fff, 0.75f);
}
}
}
return vocabulary;