--- old/src/share/classes/java/awt/image/BufferedImage.java	2013-10-01 14:25:41.000000000 -0700
+++ new/src/share/classes/java/awt/image/BufferedImage.java	2013-10-01 14:25:40.000000000 -0700
@@ -76,7 +76,7 @@
     ColorModel colorModel;
     WritableRaster raster;
     OffScreenImageSource osis;
-    Hashtable properties;
+    Hashtable<Object, Object> properties;
 
     boolean    isAlphaPremultiplied;// If true, alpha has been premultiplied in
     // color channels
@@ -642,7 +642,7 @@
 
         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);
@@ -1107,7 +1107,7 @@
     public ImageProducer getSource() {
         if (osis == null) {
             if (properties == null) {
-                properties = new Hashtable();
+                properties = new Hashtable<>();
             }
             osis = new OffScreenImageSource(this, properties);
         }