8485868788899091929394
stats.setMinimumTotalSize(argMinTotalSize.getValue()); } BufferedWriter writer = new BufferedWriter(getOutput().getWriter(), 2048); try { stats.writeTo(writer); } finally { writer.flush(); } }