X-Git-Url: http://source.jalview.org/gitweb/?p=jalviewjs.git;a=blobdiff_plain;f=src%2Fjavajs%2Fapi%2FGenericZipTools.java;fp=src%2Fjavajs%2Fapi%2FGenericZipTools.java;h=2fcaa10bd8c665b4476c6e0c13b39e77315d1645;hp=4d711917114969a25c0f0f9bc4afe88f1032e07b;hb=b9b7a352eee79b7764c3b09c9d19663075061d8c;hpb=7301a2415adab88038b291fc54caeeb3a5a47a44

diff --git a/src/javajs/api/GenericZipTools.java b/src/javajs/api/GenericZipTools.java
index 4d71191..2fcaa10 100644
--- a/src/javajs/api/GenericZipTools.java
+++ b/src/javajs/api/GenericZipTools.java
@@ -1,45 +1,45 @@
-package javajs.api;
-
-import java.io.BufferedInputStream;
-import java.io.IOException;
-import java.io.InputStream;
-
-import java.util.Map;
-
-
-public interface GenericZipTools {
-
-  public ZInputStream newZipInputStream(InputStream is);
-  
-  public String getZipDirectoryAsStringAndClose(BufferedInputStream t);
-
-  public InputStream newGZIPInputStream(InputStream bis) throws IOException;
-
-  public Object getZipFileDirectory(BufferedInputStream bis,
-                                          String[] subFileList, int listPtr, boolean asBufferedInputStream);
-
-  public String[] getZipDirectoryAndClose(BufferedInputStream t,
-                                                 String manifestID);
-
-  public void getAllZipData(InputStream bis, String[] subFileList,
-                                String replace, String string,
-                                Map<String, String> fileData);
-
-  public Object getZipFileContentsAsBytes(BufferedInputStream bis,
-                                                 String[] subFileList, int i);
-
-  public void addZipEntry(Object zos, String fileName) throws IOException;
-
-  public void closeZipEntry(Object zos) throws IOException;
-
-  public Object getZipOutputStream(Object bos);
-
-  public int getCrcValue(byte[] bytes);
-
-  public void readFileAsMap(BufferedInputStream is, Map<String, Object> bdata, String name);
-
-  public String cacheZipContents(BufferedInputStream bis, String shortName,
-                                 Map<String, Object> cache, boolean asByteArray);
-
-  BufferedInputStream getUnGzippedInputStream(byte[] bytes);
-}
+package javajs.api;
+
+import java.io.BufferedInputStream;
+import java.io.IOException;
+import java.io.InputStream;
+
+import java.util.Map;
+
+
+public interface GenericZipTools {
+
+  public ZInputStream newZipInputStream(InputStream is);
+  
+  public String getZipDirectoryAsStringAndClose(BufferedInputStream t);
+
+  public InputStream newGZIPInputStream(InputStream bis) throws IOException;
+
+  public Object getZipFileDirectory(BufferedInputStream bis,
+                                          String[] subFileList, int listPtr, boolean asBufferedInputStream);
+
+  public String[] getZipDirectoryAndClose(BufferedInputStream t,
+                                                 String manifestID);
+
+  public void getAllZipData(InputStream bis, String[] subFileList,
+                                String replace, String string,
+                                Map<String, String> fileData);
+
+  public Object getZipFileContentsAsBytes(BufferedInputStream bis,
+                                                 String[] subFileList, int i);
+
+  public void addZipEntry(Object zos, String fileName) throws IOException;
+
+  public void closeZipEntry(Object zos) throws IOException;
+
+  public Object getZipOutputStream(Object bos);
+
+  public int getCrcValue(byte[] bytes);
+
+  public void readFileAsMap(BufferedInputStream is, Map<String, Object> bdata, String name);
+
+  public String cacheZipContents(BufferedInputStream bis, String shortName,
+                                 Map<String, Object> cache, boolean asByteArray);
+
+  BufferedInputStream getUnGzippedInputStream(byte[] bytes);
+}