public Charset charset() { string s = (string)m_params.get("charset"); if (s == null) return Charset.utf8(); return Charset.fromStr(s); }