--- old/src/share/classes/sun/awt/image/GifImageDecoder.java	2014-04-07 13:31:45.810640309 -0700
+++ new/src/share/classes/sun/awt/image/GifImageDecoder.java	2014-04-07 13:31:45.457306960 -0700
@@ -61,7 +61,7 @@
     int trans_pixel = -1;
     IndexColorModel global_model;
 
-    Hashtable props = new Hashtable();
+    Hashtable<String, Object> props = new Hashtable<>();
 
     byte[] saved_image;
     IndexColorModel saved_model;