怎样将字符串中的字符转化为HTML所认识的字符

Question

public static String processXMLChar(String source) {
    //--first need replace;
    source = CharacterSet.replaceAll(source,"&", "&");    Properties propers = new Properties();
    //propers.setProperty("&","&");
    //propers.setProperty(" ", " ");
    propers.setProperty("<", "&lt;");
    propers.setProperty(">", "&gt;");
    propers.setProperty("\"", "&quot;");    Enumeration names = propers.propertyNames(),
        keys = propers.elements();    String _name = null,
        _key = null;    while (names.hasMoreElements()) {
      _name = names.nextElement().toString();
      _key = keys.nextElement().toString();
      source = CharacterSet.replaceAll(source,_name, _key);
    }    return source;
  }
sometimes you must try to write sth. for yourself.