/**
 * 格式化文章信息，保持文章的格式。保存时用。
 * 
 * @param str
 * @return
 */
public String HTMLEncode(String str) {
  str = str.replace(">", ">");
  str = str.replace("<", "<");
  char ch;
  ch = (char) 32; // space
  str = str.replace(String.valueOf(ch), " ");
  ch = (char) 34; // ''
  str = str.replace(String.valueOf(ch), """);
  ch = (char) 39; // '
  str = str.replace(String.valueOf(ch), "'");
  ch = (char) 13; // carriage return
  str = str.replace(String.valueOf(ch), "");
  ch = (char) 10; // new line
  str = str.replace(String.valueOf(ch), "<BR>");
  return str;
}