package javajs.api;

public interface ZInputStream {
  // placeholder for ZipInputStream not requiring direct access to java.util.zip

}