src/java.base/share/classes/java/util/zip/ZipFile.java
changeset 48330 e8230b52a8f4
parent 48294 2608240fc957
child 48337 0ee20aad71c4
--- a/src/java.base/share/classes/java/util/zip/ZipFile.java	Wed Dec 13 19:48:03 2017 -0800
+++ b/src/java.base/share/classes/java/util/zip/ZipFile.java	Wed Dec 13 21:41:50 2017 -0800
@@ -427,12 +427,7 @@
                                            Inflater inf, int size) {
             super(zfin, inf, size);
             this.cleanable = CleanerFactory.cleaner().register(this,
-                    new Runnable() {
-                        @Override
-                        public void run() {
-                            res.releaseInflater(inf);
-                        }
-                    });
+                    () -> res.releaseInflater(inf));
        }
 
         public void close() throws IOException {