public void append(StringBuilder sb, String text, int offset) {
		char cc = text.charAt(offset);
		if (cc == '<')
			sb.append("&lt;");
		else if (cc == '>')
			sb.append("&gt;");
		else
			sb.append(text.charAt(offset));
	}