public StringBuilder replace(int start, int end, String str) {replace0(start, end, str);return this;}
public java.lang.StringBuilder replace(int start, int end, string str){replace0(start, end, str);return this;}