public static String encodeAmpersand(char c) {
    String s;
    if (null != (s = charToAmpersand.get(c))) return (s);
    if (c < 128 && c >= 32) return ("" + c);
    else return ("&#" + ((int) c) + ";");
  }
public static String encodeAmpersand ( char c ) { String s ; if ( null != ( s = charToAmpersand . get ( c ) ) ) return ( s ) ; if ( c < 128 && c >= 32 ) return ( "" + c ) ; else return ( "&#" + ( ( int ) c ) + ";" ) ; }
Encodes a character to an HTML-Ampersand code (if necessary)