public void setWholeWordsOnly(boolean isWholeWordsOnly) {
    boolean changed = isWholeWordsOnly != this.isWholeWordsOnly;
    if (changed) {
      this.isWholeWordsOnly = isWholeWordsOnly;
      notifyObservers();
    }
  }
public void setWholeWordsOnly(boolean isWholeWordsOnly)