--- old/src/share/classes/javax/swing/text/rtf/MockAttributeSet.java	2014-06-10 11:51:43.000000000 -0700
+++ new/src/share/classes/javax/swing/text/rtf/MockAttributeSet.java	2014-06-10 11:51:43.000000000 -0700
@@ -74,7 +74,7 @@
 
     public void addAttributes(AttributeSet attr)
     {
-        Enumeration as = attr.getAttributeNames();
+        Enumeration<?> as = attr.getAttributeNames();
         while(as.hasMoreElements()) {
             Object el = as.nextElement();
             backing.put(el, attr.getAttribute(el));
@@ -102,7 +102,7 @@
     }
 
 
-    public Enumeration getAttributeNames()
+    public Enumeration<?> getAttributeNames()
     {
          return backing.keys();
     }