--- jsr166/src/main/java/util/SplittableRandom.java	2016/01/02 02:27:03	1.30
+++ jsr166/src/main/java/util/SplittableRandom.java	2016/02/19 03:39:15	1.31
@@ -225,9 +225,11 @@ public final class SplittableRandom {
     private static final AtomicLong defaultGen = new AtomicLong(initialSeed());
 
     private static long initialSeed() {
-        java.security.PrivilegedAction<Boolean> action =
-            () -> Boolean.getBoolean("java.util.secureRandomSeed");
-        if (java.security.AccessController.doPrivileged(action)) {
+        if (java.security.AccessController.doPrivileged(
+            new java.security.PrivilegedAction<Boolean>() {
+                public Boolean run() {
+                    return Boolean.getBoolean("java.util.secureRandomSeed");
+                }})) {
             byte[] seedBytes = java.security.SecureRandom.getSeed(8);
             long s = (long)seedBytes[0] & 0xffL;
             for (int i = 1; i < 8; ++i)