public java.lang.Appendable append(string arg0) { return append((global::java.lang.CharSequence)(global::java.lang.String)arg0); }