public StringBuilder append(char[] str, int offset, int len) {append0(str, offset, len);return this;}
public java.lang.StringBuilder append(char[] str, int offset, int len){append0(str, offset, len);return this;}