public static void setWriterEncoding(String encoding) {
   if (encoding.equalsIgnoreCase("DEFAULT")) PRINTWRITER_ENCODING = "UTF8";
   else if (encoding.equalsIgnoreCase("UTF-16")) PRINTWRITER_ENCODING = "Unicode";
   else PRINTWRITER_ENCODING = MIME2Java.convert(encoding);
 } // setWriterEncoding