Merge branch 'develop' into bug/JAL-3753_resources_duplicated_in_jalview_jar
[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 }