--- old/src/share/classes/sun/awt/image/PNGImageDecoder.java	2014-04-18 11:26:06.819492824 -0700
+++ new/src/share/classes/sun/awt/image/PNGImageDecoder.java	2014-04-18 11:26:06.682826164 -0700
@@ -68,7 +68,7 @@
     private int filterMethod;
     private int interlaceMethod;
     private int gamma = 100000;
-    private java.util.Hashtable properties;
+    private java.util.Hashtable<String, Object> properties;
   /* this is not needed
     ImageConsumer target;
     */
@@ -83,7 +83,7 @@
 
     private void property(String key,Object value) {
         if(value==null) return;
-        if(properties==null) properties=new java.util.Hashtable();
+        if(properties==null) properties=new java.util.Hashtable<>();
         properties.put(key,value);
     }
     private void property(String key,float value) {