src/java.base/share/classes/java/util/zip/ZipFile.java
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 {