package javajs.api; public interface ZInputStream { // placeholder for ZipInputStream not requiring direct access to java.util.zip }