public void setCaseSensitive(boolean val) {
    boolean changed = val != isCaseSensitive;
    if (changed) {
      isCaseSensitive = val;
      myPattern = PatternUtil.NOTHING;
      notifyObservers();
    }
  }
public void setCaseSensitive(boolean val)