/**
  * Appends the given character.
  *
  * <p>If the given character is equal to {@link Format#getNormalizedNewline()}, then the character
  * sequence returned by {@link Format#getLineSeparator()} is going to be appended.
  *
  * @param ch the character to append
  */
 @Override
 public final void append(char ch) {
   if (ch == newLine && denormalizeLineEndings) {
     appendNewLine();
   } else {
     super.append(ch);
   }
 }