public java.io.PrintWriter append(string arg0, int arg1, int arg2) { return append((global::java.lang.CharSequence)(global::java.lang.String)arg0, arg1, arg2); }