public class EscapeHTMLOutputStream
extends java.io.FilterOutputStream
Escape HTML on the fly.
Streaming version of DataHelper.escapeHTML(),
and we escape '-' too since we stick debugging stuff inside comments,
and '--' is disallowed inside comments.