--- a/jdk/src/java.base/share/classes/java/io/FilePermission.java	Thu Dec 01 06:54:01 2016 -0800
+++ b/jdk/src/java.base/share/classes/java/io/FilePermission.java	Thu Dec 01 19:03:11 2016 +0100
@@ -1077,7 +1077,10 @@
         // Add permission to map if it is absent, or replace with new
         // permission if applicable.
         perms.merge(fp.getName(), fp,
-                (existingVal, newVal) -> {
+            new java.util.function.BiFunction<>() {
+                @Override
+                public Permission apply(Permission existingVal,
+                                        Permission newVal) {
                     int oldMask = ((FilePermission)existingVal).getMask();
                     int newMask = ((FilePermission)newVal).getMask();
                     if (oldMask != newMask) {
@@ -1092,6 +1095,7 @@
                     }
                     return existingVal;
                 }
+            }
         );
     }