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