public void finish() { doFlush(); output.finish(); }
public void flush() { doFlush(); if (buffer == null) { newBuffer(); } }