--- xmlunit/src/java/org/custommonkey/xmlunit/HTMLDocumentBuilder.java	2003-02-27 20:47:32.000000000 -0500
+++ xmlunit/src/java/org/custommonkey/xmlunit/HTMLDocumentBuilder.java.orig	2008-07-29 16:25:39.863675489 -0400
@@ -283,9 +283,9 @@
             Object attrName, attrValue;
 
             attributes.clear();
-            for(Enumeration enum = attributeSet.getAttributeNames();
-            enum.hasMoreElements(); ) {
-                attrName = enum.nextElement();
+            for(Enumeration attributeSetEnum = attributeSet.getAttributeNames();
+            attributeSetEnum.hasMoreElements(); ) {
+                attrName = attributeSetEnum.nextElement();
                 attrValue = attributeSet.getAttribute(attrName);
                 attributes.addAttribute("", "", attrName.toString(),
                     "CDATA", attrValue.toString());