public InputStreamReader(InputStream prm1, global::java.nio.charset.Charset prm2) { }
public ZipOutputStream(global::java.io.OutputStream prm1, global::java.nio.charset.Charset prm2) : base(default(global::java.io.OutputStream)) { }
public virtual byte[] getBytes(global::java.nio.charset.Charset prm1) { return(default(byte[])); }
public OutputStreamWriter(OutputStream prm1, global::java.nio.charset.Charset prm2) { }
public String(byte[] prm1, int prm2, int prm3, global::java.nio.charset.Charset prm4) { }
public String(byte[] prm1, global::java.nio.charset.Charset prm2) { }
public ZipFile(global::java.io.File prm1, int prm2, global::java.nio.charset.Charset prm3) { }
public ZipFile(global::java.lang.String prm1, global::java.nio.charset.Charset prm2) { }
public ZipInputStream(global::java.io.InputStream prm1, global::java.nio.charset.Charset prm2) : base(default(global::java.io.InputStream), default(Inflater)) { }