equal
deleted
inserted
replaced
3548 throws IOException |
3548 throws IOException |
3549 { |
3549 { |
3550 // ensure lines is not null before opening file |
3550 // ensure lines is not null before opening file |
3551 Objects.requireNonNull(lines); |
3551 Objects.requireNonNull(lines); |
3552 CharsetEncoder encoder = cs.newEncoder(); |
3552 CharsetEncoder encoder = cs.newEncoder(); |
3553 OutputStream out = newOutputStream(path, options); |
3553 try (OutputStream out = newOutputStream(path, options); |
3554 try (BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(out, encoder))) { |
3554 BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(out, encoder))) { |
3555 for (CharSequence line: lines) { |
3555 for (CharSequence line: lines) { |
3556 writer.append(line); |
3556 writer.append(line); |
3557 writer.newLine(); |
3557 writer.newLine(); |
3558 } |
3558 } |
3559 } |
3559 } |