equal
deleted
inserted
replaced
222 // new event pump it will post the waking event to EDT. |
222 // new event pump it will post the waking event to EDT. |
223 // The event will be handled after the the new event pump |
223 // The event will be handled after the the new event pump |
224 // starts. Thus, the enter() method will not hang. |
224 // starts. Thus, the enter() method will not hang. |
225 // |
225 // |
226 // Event pump should be privileged. See 6300270. |
226 // Event pump should be privileged. See 6300270. |
227 AccessController.doPrivileged(new PrivilegedAction() { |
227 AccessController.doPrivileged(new PrivilegedAction<Void>() { |
228 public Object run() { |
228 public Void run() { |
229 run.run(); |
229 run.run(); |
230 return null; |
230 return null; |
231 } |
231 } |
232 }); |
232 }); |
233 } else { |
233 } else { |