dev-java/xmldb/files/xmldb-20011111-enum.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

--- a/org/xmldb/api/sdk/modules/SetContentHandler.java	2017-03-17 21:49:05.540172602 +0000
+++ b/org/xmldb/api/sdk/modules/SetContentHandler.java	2017-03-17 21:49:22.860172942 +0000
@@ -168,9 +168,9 @@
          }
       }

-      Enumeration enum = namespaces.keys();
-      while ( enum.hasMoreElements() ) {
-         String key = (String) enum.nextElement();
+      Enumeration myEnum = namespaces.keys();
+      while ( myEnum.hasMoreElements() ) {
+         String key = (String) myEnum.nextElement();
          newContent.append(" xmlns");
          if (key.length() > 0) {
             newContent.append(":");