< prev index next >

src/java.base/share/classes/sun/security/provider/SeedGenerator.java

Print this page

        

@@ -163,11 +163,11 @@
         // The current time in millis
         byte b =(byte)System.currentTimeMillis();
         md.update(b);
 
         java.security.AccessController.doPrivileged
-            (new java.security.PrivilegedAction<Void>() {
+            (new java.security.PrivilegedAction<>() {
                 @Override
                 public Void run() {
                     try {
                         // System properties can change from machine to machine
                         Properties p = System.getProperties();

@@ -293,11 +293,11 @@
                         , e);
             }
 
             final ThreadGroup[] finalsg = new ThreadGroup[1];
             Thread t = java.security.AccessController.doPrivileged
-                (new java.security.PrivilegedAction<Thread>() {
+                (new java.security.PrivilegedAction<>() {
                         @Override
                         public Thread run() {
                             ThreadGroup parent, group =
                                 Thread.currentThread().getThreadGroup();
                             while ((parent = group.getParent()) != null) {

@@ -499,11 +499,11 @@
 
         private void init() throws IOException {
             final URL device = new URL(deviceName);
             try {
                 seedStream = java.security.AccessController.doPrivileged
-                    (new java.security.PrivilegedExceptionAction<InputStream>() {
+                    (new java.security.PrivilegedExceptionAction<>() {
                         @Override
                         public InputStream run() throws IOException {
                             /*
                              * return a shared InputStream for file URLs and
                              * avoid buffering.
< prev index next >