public writeLine(readonly line as String) as Void throws IOException
Writes one line and appends a newline.