public writeLines(readonly lines as List<String>) as Void throws IOException
Writes all lines with trailing newline.