src/share/classes/java/awt/WaitDispatchSupport.java

Print this page

        

@@ -222,11 +222,11 @@
             // new event pump it will post the waking event to EDT.
             // The event will be handled after the the new event pump
             // starts. Thus, the enter() method will not hang.
             //
             // Event pump should be privileged. See 6300270.
-            AccessController.doPrivileged(new PrivilegedAction() {
+            AccessController.doPrivileged(new PrivilegedAction<Object>() {
                 public Object run() {
                     run.run();
                     return null;
                 }
             });