public static String getDefaultMIMECharset() {
static String getDefaultMIMECharset() {
    public static String getDefaultMIMECharset() {        // if the property is specified, this can be used directly.        String charset = SessionUtil.getProperty("mail.mime.charset");        if (charset != null) {            return charset;        }        // get the Java-defined default and map back to a MIME name.        return mimeCharset(SessionUtil.getProperty("file.encoding", "8859_1"));    }