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