src/windows/classes/sun/awt/windows/WDesktopProperties.java

Print this page 

        
@@ -236,10 +236,11 @@
 
     /*
      * Called by WToolkit when Windows settings change-- we (re)load properties and
      * set new values.
      */
+    @SuppressWarnings("unchecked")
     synchronized Map<String, Object> getProperties() {
         ThemeReader.flush();
 
         // load the changed properties into a new hashmap
         map = new HashMap<String, Object>();