/** * Returns the charset to use for encoding/decoding the body of this message */ protected final String getCharset() { ContentType ct = getContentTypeHeader(); if (ct!=null) { String c = ct.getCharset(); return c!=null ? c : contentEncodingCharset; } else return contentEncodingCharset; }