changeset 48294 | 2608240fc957 |
parent 48238 | 9f225d4387e2 |
child 48330 | e8230b52a8f4 |
--- a/src/java.base/share/classes/java/util/zip/ZipFile.java Wed Dec 13 11:43:57 2017 -0800 +++ b/src/java.base/share/classes/java/util/zip/ZipFile.java Wed Dec 13 21:25:49 2017 +0100 @@ -427,7 +427,12 @@ Inflater inf, int size) { super(zfin, inf, size); this.cleanable = CleanerFactory.cleaner().register(this, - () -> res.releaseInflater(inf)); + new Runnable() { + @Override + public void run() { + res.releaseInflater(inf); + } + }); } public void close() throws IOException {