--- 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 props
is null
*/
public void setProperties(Hashtable,?> props) {
+ @SuppressWarnings("unchecked")
Hashtable