public void setSearchHighlighters(boolean search) {
    boolean changed = search != isSearchHighlighters;
    if (changed) {
      isSearchHighlighters = search;
      notifyObservers();
    }
  }
public void setSearchHighlighters(boolean search)