JAL-3262 from JAL-3253-applet AppletParams + Cache.setPropertyNoSave
[jalview.git] / unused / javajs / api / ZInputStream.java
1 package javajs.api;
2
3 public interface ZInputStream {
4   // placeholder for ZipInputStream not requiring direct access to java.util.zip
5
6 }