Guest User

Untitled

a guest
Dec 11th, 2016
181
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Java 0.45 KB | None | 0 0
  1. public final class ManuallyCloseableZipInputStream extends ZipInputStream {
  2.     public ManuallyCloseableZipInputStream(InputStream in) {
  3.         super(in);
  4.     }
  5.  
  6.     public ManuallyCloseableZipInputStream(InputStream in, Charset charset) {
  7.         super(in, charset);
  8.     }
  9.  
  10.     @Override
  11.     public void close() throws IOException {
  12.         // do nothing
  13.     }
  14.  
  15.     public void closeManually() throws IOException {
  16.         super.close();
  17.     }
  18. }
Advertisement
Add Comment
Please, Sign In to add comment