11571158115911601161116211631164116511661167
try { CountingOutputStream output = new CountingOutputStream( new BufferedOutputStream(new FileOutputStream(outputFile))); writer.writeTo(output); output.flush(); output.close(); writer.close(); out.format("%s, %d bytes written in %5.3f seconds\n",