void
writeLine(String line)
Write the text and append a newline (using the platform's line-ending).
line