(OutputStream output, String... lines)
| 1598 | static Charset utf8; |
| 1599 | |
| 1600 | static void writeUTF(OutputStream output, String... lines) throws IOException { |
| 1601 | if (utf8 == null) { |
| 1602 | utf8 = Charset.forName("UTF-8"); |
| 1603 | } |
| 1604 | for (String str : lines) { |
| 1605 | output.write(str.getBytes(utf8)); |
| 1606 | output.write('\n'); |
| 1607 | } |
| 1608 | } |
| 1609 | |
| 1610 | |
| 1611 | protected void saveBinary(OutputStream os) throws IOException { |
no test coverage detected