237238239240241242243244245246247
writer.write(c); } if (needsNewLine(c)) { // write possible newline writer.newLineMaybe(); } else if (needsWhitespaceAfter(c, reader, writer, inLTL)) { // insert whitespace writer.write(' '); }