public void setEnsureNewLineAtEOF(boolean ensure) {
    boolean old = myOptions.IS_ENSURE_NEWLINE_AT_EOF;
    if (old == ensure) return;
    myOptions.IS_ENSURE_NEWLINE_AT_EOF = ensure;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_IS_ENSURE_NEWLINE_AT_EOF, old, ensure);
  }
public void setEnsureNewLineAtEOF(boolean ensure)