Merge branch 'bug/JAL-1988_JAL-3772_improved_quit_handling' into merge/JAL-1988_JAL...
[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 }