--- old/src/java.base/share/classes/sun/security/provider/SeedGenerator.java 2015-04-23 15:28:30.644132968 -0700 +++ new/src/java.base/share/classes/sun/security/provider/SeedGenerator.java 2015-04-23 15:28:30.276132959 -0700 @@ -165,7 +165,7 @@ md.update(b); java.security.AccessController.doPrivileged - (new java.security.PrivilegedAction() { + (new java.security.PrivilegedAction<>() { @Override public Void run() { try { @@ -295,7 +295,7 @@ final ThreadGroup[] finalsg = new ThreadGroup[1]; Thread t = java.security.AccessController.doPrivileged - (new java.security.PrivilegedAction() { + (new java.security.PrivilegedAction<>() { @Override public Thread run() { ThreadGroup parent, group = @@ -501,7 +501,7 @@ final URL device = new URL(deviceName); try { seedStream = java.security.AccessController.doPrivileged - (new java.security.PrivilegedExceptionAction() { + (new java.security.PrivilegedExceptionAction<>() { @Override public InputStream run() throws IOException { /*