--- old/src/share/classes/java/awt/image/FilteredImageSource.java	2013-10-01 14:25:42.000000000 -0700
+++ new/src/share/classes/java/awt/image/FilteredImageSource.java	2013-10-01 14:25:42.000000000 -0700
@@ -68,7 +68,7 @@
         filter = imgf;
     }
 
-    private Hashtable proxies;
+    private Hashtable<ImageConsumer, ImageFilter> proxies;
 
     /**
      * Adds the specified <code>ImageConsumer</code>
@@ -94,7 +94,7 @@
      */
     public synchronized void addConsumer(ImageConsumer ic) {
         if (proxies == null) {
-            proxies = new Hashtable();
+            proxies = new Hashtable<>();
         }
         if (!proxies.containsKey(ic)) {
             ImageFilter imgf = filter.getFilterInstance(ic);
@@ -173,7 +173,7 @@
      */
     public void startProduction(ImageConsumer ic) {
         if (proxies == null) {
-            proxies = new Hashtable();
+            proxies = new Hashtable<>();
         }
         ImageFilter imgf = (ImageFilter) proxies.get(ic);
         if (imgf == null) {