public void setPreserveCase(boolean preserveCase) {
    boolean changed = isPreserveCase != preserveCase;
    if (changed) {
      isPreserveCase = preserveCase;
      notifyObservers();
    }
  }
public void setPreserveCase(boolean preserveCase)