public void setPrettyFormattingAllowed(boolean prettyFormattingAllowed) {
    myPrettyFormattingAllowed = prettyFormattingAllowed;
  }
public void setPrettyFormattingAllowed(boolean prettyFormattingAllowed)