super(out);
if (lastChar == '\r") { super.write('\n"); lastChar = '\n"; } super.flush();
if (oneByte == '\n") { if (lastChar != '\r") { super.write('\r"); } } super.write(oneByte); lastChar = oneByte;