--- old/src/share/classes/java/awt/image/ReplicateScaleFilter.java	2013-10-01 14:25:47.000000000 -0700
+++ new/src/share/classes/java/awt/image/ReplicateScaleFilter.java	2013-10-01 14:25:47.000000000 -0700
@@ -121,6 +121,7 @@
      * with the filtering operation.
      */
     public void setProperties(Hashtable<?,?> props) {
+        @SuppressWarnings("unchecked")
         Hashtable<Object,Object> p = (Hashtable<Object,Object>)props.clone();
         String key = "rescale";
         String val = destWidth + "x" + destHeight;