public void setAdditionalPageAtBottom(boolean val) {
    boolean old = myOptions.ADDITIONAL_PAGE_AT_BOTTOM;
    if (old == val) return;
    myOptions.ADDITIONAL_PAGE_AT_BOTTOM = val;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_ADDITIONAL_PAGE_AT_BOTTOM, old, val);
  }
public void setAdditionalPageAtBottom(boolean val)