public void setData(char[] ch, int offset, int len) {
public final void setData(char[] ch, int offset, int len) {
	public void setData(char[] ch, int offset, int len) {		length_ = 0;		start_ = 0;		append(ch, offset, len);	}