src/share/classes/java/awt/image/BufferedImage.java

@@ -74,11 +74,11 @@
 {
     int        imageType = TYPE_CUSTOM;
     ColorModel colorModel;
     WritableRaster raster;
     OffScreenImageSource osis;
-    Hashtable properties;
+    Hashtable<Object, Object> properties;
 
     boolean    isAlphaPremultiplied;// If true, alpha has been premultiplied in
     // color channels
 
     /**

@@ -640,11 +640,11 @@
                                          + raster.minX + " " + raster.minY);
         }
 
         colorModel = cm;
         this.raster  = raster;
-        this.properties = properties;
+        this.properties = (Hashtable<Object,Object>)properties;
         int numBands = raster.getNumBands();
         boolean isAlphaPre = cm.isAlphaPremultiplied();
         final boolean isStandard = isStandard(cm, raster);
         ColorSpace cs;
 

@@ -1105,11 +1105,11 @@
      * @see ImageProducer
      */
     public ImageProducer getSource() {
         if (osis == null) {
             if (properties == null) {
-                properties = new Hashtable();
+                properties = new Hashtable<>();
             }
             osis = new OffScreenImageSource(this, properties);
         }
         return osis;
     }