docs: private String[] getWords() {
  
          StringTokenizer tokenizer =
              new StringTokenizer(fSearchWords.getText());
          String[] result = new String[tokenizer.countTokens()];
          int      i      = 0;
  
          while (tokenizer.hasMoreTokens()) {
              result[i++] = tokenizer.nextToken();
          }    // end of while ((tokenizer.hasMoreTokens()))
  
          return result;
      }