--- old/src/share/classes/java/awt/image/ImageFilter.java	2013-10-01 14:25:46.000000000 -0700
+++ new/src/share/classes/java/awt/image/ImageFilter.java	2013-10-01 14:25:45.000000000 -0700
@@ -104,6 +104,7 @@
      * @exception NullPointerException if <code>props</code> is null
      */
     public void setProperties(Hashtable<?,?> props) {
+        @SuppressWarnings("unchecked")
         Hashtable<Object,Object> p = (Hashtable<Object,Object>)props.clone();
         Object o = p.get("filters");
         if (o == null) {