src/java.base/share/classes/java/util/zip/ZipFile.java
Print this page
*** 425,440 ****
private ZipFileInflaterInputStream(ZipFileInputStream zfin,
CleanableResource res,
Inflater inf, int size) {
super(zfin, inf, size);
this.cleanable = CleanerFactory.cleaner().register(this,
! new Runnable() {
! @Override
! public void run() {
! res.releaseInflater(inf);
! }
! });
}
public void close() throws IOException {
if (closeRequested)
return;
--- 425,435 ----
private ZipFileInflaterInputStream(ZipFileInputStream zfin,
CleanableResource res,
Inflater inf, int size) {
super(zfin, inf, size);
this.cleanable = CleanerFactory.cleaner().register(this,
! () -> res.releaseInflater(inf));
}
public void close() throws IOException {
if (closeRequested)
return;