if (c == '\r') continue;
if (Character.isWhitespace(c) /* && Character.isWhitespace(prev) */) {
// skip
} else if (c == '-' && reader.readAhead() == '-') {
if (prev != -1 && !Character.isWhitespace(writer.previous())) {
// we need to add whitespace before this comment
writer.write(' ');
}
// a comment