Merge branch 'develop' into patch/JAL-3921_jmol_session_save
[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 }