jdk/src/share/classes/java/awt/Toolkit.java
changeset 15318 607db339afcc
parent 12559 9456ceada8b1
child 18178 ee71c923891d
child 18271 228440e64512
equal deleted inserted replaced
15317:a5c7745e4127 15318:607db339afcc
   861 
   861 
   862                 java.security.AccessController.doPrivileged(
   862                 java.security.AccessController.doPrivileged(
   863                         new java.security.PrivilegedAction<Void>() {
   863                         new java.security.PrivilegedAction<Void>() {
   864                     public Void run() {
   864                     public Void run() {
   865                         String nm = null;
   865                         String nm = null;
   866                         Class cls = null;
   866                         Class<?> cls = null;
   867                         try {
   867                         try {
   868                             nm = System.getProperty("awt.toolkit");
   868                             nm = System.getProperty("awt.toolkit");
   869                             try {
   869                             try {
   870                                 cls = Class.forName(nm);
   870                                 cls = Class.forName(nm);
   871                             } catch (ClassNotFoundException e) {
   871                             } catch (ClassNotFoundException e) {