Merge branch 'Jalview-JS/develop' into develop

[jalview.git] / unused / javajs / api / ZInputStream.java

diff --git a/unused/javajs/api/ZInputStream.java b/unused/javajs/api/ZInputStream.java
new file mode 100644 (file)
index 0000000..a3310f6
--- /dev/null
+++ b/unused/javajs/api/ZInputStream.java
@@ -0,0 +1,6 @@
+package javajs.api;
+
+public interface ZInputStream {
+  // placeholder for ZipInputStream not requiring direct access to java.util.zip
+
+}