--- old/src/share/classes/javax/swing/text/html/CSS.java 2014-06-10 11:51:37.000000000 -0700
+++ new/src/share/classes/javax/swing/text/html/CSS.java 2014-06-10 11:51:36.000000000 -0700
@@ -1370,7 +1370,7 @@
private void translateEmbeddedAttributes(AttributeSet htmlAttrSet,
MutableAttributeSet cssAttrSet) {
- Enumeration keys = htmlAttrSet.getAttributeNames();
+ Enumeration> keys = htmlAttrSet.getAttributeNames();
if (htmlAttrSet.getAttribute(StyleConstants.NameAttribute) ==
HTML.Tag.HR) {
// HR needs special handling due to us treating it as a leaf.
@@ -1393,7 +1393,7 @@
private void translateAttributes(HTML.Tag tag,
AttributeSet htmlAttrSet,
MutableAttributeSet cssAttrSet) {
- Enumeration names = htmlAttrSet.getAttributeNames();
+ Enumeration> names = htmlAttrSet.getAttributeNames();
while (names.hasMoreElements()) {
Object name = names.nextElement();
@@ -3342,7 +3342,7 @@
s.defaultWriteObject();
// Determine what values in valueConvertor need to be written out.
- Enumeration keys = valueConvertor.keys();
+ Enumeration> keys = valueConvertor.keys();
s.writeInt(valueConvertor.size());
if (keys != null) {
while (keys.hasMoreElements()) {