(OutputStream output, String... lines)
| 1614 | static Charset utf8; |
| 1615 | |
| 1616 | static void writeUTF(OutputStream output, String... lines) throws IOException { |
| 1617 | if (utf8 == null) { |
| 1618 | utf8 = Charset.forName("UTF-8"); |
| 1619 | } |
| 1620 | for (String str : lines) { |
| 1621 | output.write(str.getBytes(utf8)); |
| 1622 | output.write('\n'); |
| 1623 | } |
| 1624 | } |
| 1625 | |
| 1626 | |
| 1627 | protected void saveBinary(OutputStream os) throws IOException { |
no test coverage detected