File xmldb-api-java5-enum.patch of Package xmldb-api.37717

--- xapi/src/api/org/xmldb/api/sdk/modules/SetContentHandler.java.orig	2008-08-18 16:31:55.212578028 -0400
+++ xapi/src/api/org/xmldb/api/sdk/modules/SetContentHandler.java	2008-08-18 16:32:15.300575124 -0400
@@ -168,9 +168,9 @@
          }
       }
 
-      Enumeration enum = namespaces.keys();
-      while ( enum.hasMoreElements() ) {
-         String key = (String) enum.nextElement();
+      Enumeration kEnum = namespaces.keys();
+      while ( kEnum.hasMoreElements() ) {
+         String key = (String) kEnum.nextElement();
          newContent.append(" xmlns");
          if (key.length() > 0) {
             newContent.append(":");