@Override public synchronized void close() throws IOException { super.close(); }
@CreatesObligation @edu.umd.cs.findbugs.annotations.SuppressWarnings("OBL_UNSATISFIED_OBLIGATION") public ZipInputShop( final ZipDriver driver, final FsModel model, final @WillCloseWhenClosed ReadOnlyFile rof) throws IOException { super(rof, driver); this.driver = driver; if (null == (this.model = model)) { final NullPointerException ex = new NullPointerException(); try { super.close(); } catch (final Throwable ex2) { if (JSE7.AVAILABLE) ex.addSuppressed(ex2); } throw ex; } }