src/share/classes/sun/awt/image/GifImageDecoder.java

rev 9717 : 8039642: Fix raw and unchecked warnings in sun.awt.*
Reviewed-by:

*** 59,69 ****
      int num_global_colors;
      byte[] global_colormap;
      int trans_pixel = -1;
      IndexColorModel global_model;
  
!     Hashtable props = new Hashtable();
  
      byte[] saved_image;
      IndexColorModel saved_model;
  
      int global_width;
--- 59,69 ----
      int num_global_colors;
      byte[] global_colormap;
      int trans_pixel = -1;
      IndexColorModel global_model;
  
!     Hashtable<String, Object> props = new Hashtable<>();
  
      byte[] saved_image;
      IndexColorModel saved_model;
  
      int global_width;