/** Returns the number of words in the lexicon. */
 public int getWordCount() {
   return lex.size();
 }