--- /dev/null
+--- Sources/Java/net/n3/nanoxml/XMLElement.java.orig 2016-03-04 09:21:07.908000000 +0000
++++ Sources/Java/net/n3/nanoxml/XMLElement.java 2016-03-04 09:35:16.283000000 +0000
+@@ -484,9 +484,9 @@
+ * @return the child element, or null if no such child was found.
+ */
+ public IXMLElement getFirstChildNamed(String name) {
+- Enumeration enum = this.children.elements();
+- while (enum.hasMoreElements()) {
+- IXMLElement child = (IXMLElement) enum.nextElement();
++ Enumeration myEnum = this.children.elements();
++ while (myEnum.hasMoreElements()) {
++ IXMLElement child = (IXMLElement) myEnum.nextElement();
+ String childName = child.getFullName();
+ if ((childName != null) && childName.equals(name)) {
+ return child;
+@@ -506,9 +506,9 @@
+ */
+ public IXMLElement getFirstChildNamed(String name,
+ String namespace) {
+- Enumeration enum = this.children.elements();
+- while (enum.hasMoreElements()) {
+- IXMLElement child = (IXMLElement) enum.nextElement();
++ Enumeration myEnum = this.children.elements();
++ while (myEnum.hasMoreElements()) {
++ IXMLElement child = (IXMLElement) myEnum.nextElement();
+ String str = child.getName();
+ boolean found = (str != null) && (str.equals(name));
+ str = child.getNamespace();
+@@ -534,9 +534,9 @@
+ */
+ public Vector getChildrenNamed(String name) {
+ Vector result = new Vector(this.children.size());
+- Enumeration enum = this.children.elements();
+- while (enum.hasMoreElements()) {
+- IXMLElement child = (IXMLElement) enum.nextElement();
++ Enumeration myEnum = this.children.elements();
++ while (myEnum.hasMoreElements()) {
++ IXMLElement child = (IXMLElement) myEnum.nextElement();
+ String childName = child.getFullName();
+ if ((childName != null) && childName.equals(name)) {
+ result.addElement(child);
+@@ -557,9 +557,9 @@
+ public Vector getChildrenNamed(String name,
+ String namespace) {
+ Vector result = new Vector(this.children.size());
+- Enumeration enum = this.children.elements();
+- while (enum.hasMoreElements()) {
+- IXMLElement child = (IXMLElement) enum.nextElement();
++ Enumeration myEnum = this.children.elements();
++ while (myEnum.hasMoreElements()) {
++ IXMLElement child = (IXMLElement) myEnum.nextElement();
+ String str = child.getName();
+ boolean found = (str != null) && (str.equals(name));
+ str = child.getNamespace();
+@@ -585,9 +585,9 @@
+ * @return the attribute, or null if the attribute does not exist.
+ */
+ private XMLAttribute findAttribute(String fullName) {
+- Enumeration enum = this.attributes.elements();
+- while (enum.hasMoreElements()) {
+- XMLAttribute attr = (XMLAttribute) enum.nextElement();
++ Enumeration myEnum = this.attributes.elements();
++ while (myEnum.hasMoreElements()) {
++ XMLAttribute attr = (XMLAttribute) myEnum.nextElement();
+ if (attr.getFullName().equals(fullName)) {
+ return attr;
+ }
+@@ -606,9 +606,9 @@
+ */
+ private XMLAttribute findAttribute(String name,
+ String namespace) {
+- Enumeration enum = this.attributes.elements();
+- while (enum.hasMoreElements()) {
+- XMLAttribute attr = (XMLAttribute) enum.nextElement();
++ Enumeration myEnum = this.attributes.elements();
++ while (myEnum.hasMoreElements()) {
++ XMLAttribute attr = (XMLAttribute) myEnum.nextElement();
+ boolean found = attr.getName().equals(name);
+ if (namespace == null) {
+ found &= (attr.getNamespace() == null);
+@@ -860,9 +860,9 @@
+ */
+ public Enumeration enumerateAttributeNames() {
+ Vector result = new Vector();
+- Enumeration enum = this.attributes.elements();
+- while (enum.hasMoreElements()) {
+- XMLAttribute attr = (XMLAttribute) enum.nextElement();
++ Enumeration myEnum = this.attributes.elements();
++ while (myEnum.hasMoreElements()) {
++ XMLAttribute attr = (XMLAttribute) myEnum.nextElement();
+ result.addElement(attr.getFullName());
+ }
+ return result.elements();
+@@ -897,9 +897,9 @@
+ */
+ public Properties getAttributes() {
+ Properties result = new Properties();
+- Enumeration enum = this.attributes.elements();
+- while (enum.hasMoreElements()) {
+- XMLAttribute attr = (XMLAttribute) enum.nextElement();
++ Enumeration myEnum = this.attributes.elements();
++ while (myEnum.hasMoreElements()) {
++ XMLAttribute attr = (XMLAttribute) myEnum.nextElement();
+ result.put(attr.getFullName(), attr.getValue());
+ }
+ return result;
+@@ -915,9 +915,9 @@
+ */
+ public Properties getAttributesInNamespace(String namespace) {
+ Properties result = new Properties();
+- Enumeration enum = this.attributes.elements();
+- while (enum.hasMoreElements()) {
+- XMLAttribute attr = (XMLAttribute) enum.nextElement();
++ Enumeration myEnum = this.attributes.elements();
++ while (myEnum.hasMoreElements()) {
++ XMLAttribute attr = (XMLAttribute) myEnum.nextElement();
+ if (namespace == null) {
+ if (attr.getNamespace() == null) {
+ result.put(attr.getName(), attr.getValue());
+@@ -1007,9 +1007,9 @@
+ if (this.attributes.size() != elt.getAttributeCount()) {
+ return false;
+ }
+- Enumeration enum = this.attributes.elements();
+- while (enum.hasMoreElements()) {
+- XMLAttribute attr = (XMLAttribute) enum.nextElement();
++ Enumeration myEnum = this.attributes.elements();
++ while (myEnum.hasMoreElements()) {
++ XMLAttribute attr = (XMLAttribute) myEnum.nextElement();
+ if (! elt.hasAttribute(attr.getName(), attr.getNamespace())) {
+ return false;
+ }
+--- Sources/Java/net/n3/nanoxml/NonValidator.java.orig 2016-03-04 09:36:05.247000000 +0000
++++ Sources/Java/net/n3/nanoxml/NonValidator.java 2016-03-04 09:36:25.195000000 +0000
+@@ -587,10 +587,10 @@
+ int lineNr)
+ {
+ Properties props = (Properties) this.currentElements.pop();
+- Enumeration enum = props.keys();
++ Enumeration myEnum = props.keys();
+
+- while (enum.hasMoreElements()) {
+- String key = (String) enum.nextElement();
++ while (myEnum.hasMoreElements()) {
++ String key = (String) myEnum.nextElement();
+ extraAttributes.put(key, props.get(key));
+ }
+ }
+--- Sources/Java/net/n3/nanoxml/XMLWriter.java.orig 2016-03-04 09:36:53.616000000 +0000
++++ Sources/Java/net/n3/nanoxml/XMLWriter.java 2016-03-04 09:38:11.868000000 +0000
+@@ -182,10 +182,10 @@
+ }
+ }
+
+- Enumeration enum = xml.enumerateAttributeNames();
++ Enumeration myEnum = xml.enumerateAttributeNames();
+
+- while (enum.hasMoreElements()) {
+- String key = (String) enum.nextElement();
++ while (myEnum.hasMoreElements()) {
++ String key = (String) myEnum.nextElement();
+ int index = key.indexOf(':');
+
+ if (index >= 0) {
+@@ -203,10 +203,10 @@
+ }
+ }
+
+- enum = xml.enumerateAttributeNames();
++ myEnum = xml.enumerateAttributeNames();
+
+- while (enum.hasMoreElements()) {
+- String key = (String) enum.nextElement();
++ while (myEnum.hasMoreElements()) {
++ String key = (String) myEnum.nextElement();
+ String value = xml.getAttribute(key, null);
+ this.writer.print(" " + key + "=\"");
+ this.writeEncoded(value);
+@@ -229,10 +229,10 @@
+ writer.println();
+ }
+
+- enum = xml.enumerateChildren();
++ myEnum = xml.enumerateChildren();
+
+- while (enum.hasMoreElements()) {
+- IXMLElement child = (IXMLElement) enum.nextElement();
++ while (myEnum.hasMoreElements()) {
++ IXMLElement child = (IXMLElement) myEnum.nextElement();
+ this.write(child, prettyPrint, indent + 4,
+ collapseEmptyElements);
+ }
+--- Sources/Java/net/n3/nanoxml/StdXMLParser.java.orig 2016-03-04 09:38:44.521000000 +0000
++++ Sources/Java/net/n3/nanoxml/StdXMLParser.java 2016-03-04 09:39:08.028000000 +0000
+@@ -492,10 +492,10 @@
+ extraAttributes,
+ this.reader.getSystemID(),
+ this.reader.getLineNr());
+- Enumeration enum = extraAttributes.keys();
++ Enumeration myEnum = extraAttributes.keys();
+
+- while (enum.hasMoreElements()) {
+- String key = (String) enum.nextElement();
++ while (myEnum.hasMoreElements()) {
++ String key = (String) myEnum.nextElement();
+ String value = extraAttributes.getProperty(key);
+ attrNames.addElement(key);
+ attrValues.addElement(value);
--- /dev/null
+--- Sources/Lite/nanoxml/XMLElement.java.orig 2016-03-04 09:16:52.339000000 +0000
++++ Sources/Lite/nanoxml/XMLElement.java 2016-03-04 09:19:03.213000000 +0000
+@@ -63,8 +63,8 @@
+ * The following example shows how to list the attributes of an element:
+ * <UL><CODE>
+ * XMLElement element = ...;<BR>
+- * Enumeration enum = element.getAttributeNames();<BR>
+- * while (enum.hasMoreElements()) {<BR>
++ * Enumeration myEnum = element.getAttributeNames();<BR>
++ * while (myEnum.hasMoreElements()) {<BR>
+ * String key = (String) enum.nextElement();<BR>
+ * String value = element.getStringAttribute(key);<BR>
+ * System.out.println(key + " = " + value);<BR>
+@@ -478,9 +478,9 @@
+ this.children = new Vector();
+ this.entities = entities;
+ this.lineNr = 0;
+- Enumeration enum = this.entities.keys();
+- while (enum.hasMoreElements()) {
+- Object key = enum.nextElement();
++ Enumeration myEnum = this.entities.keys();
++ while (myEnum.hasMoreElements()) {
++ Object key = myEnum.nextElement();
+ Object value = this.entities.get(key);
+ if (value instanceof String) {
+ value = ((String) value).toCharArray();
+@@ -2168,10 +2168,10 @@
+ writer.write('<');
+ writer.write(this.name);
+ if (! this.attributes.isEmpty()) {
+- Enumeration enum = this.attributes.keys();
+- while (enum.hasMoreElements()) {
++ Enumeration myEnum = this.attributes.keys();
++ while (myEnum.hasMoreElements()) {
+ writer.write(' ');
+- String key = (String) enum.nextElement();
++ String key = (String) myEnum.nextElement();
+ String value = (String) this.attributes.get(key);
+ writer.write(key);
+ writer.write('='); writer.write('"');
+@@ -2189,9 +2189,9 @@
+ writer.write('/'); writer.write('>');
+ } else {
+ writer.write('>');
+- Enumeration enum = this.enumerateChildren();
+- while (enum.hasMoreElements()) {
+- XMLElement child = (XMLElement) enum.nextElement();
++ Enumeration myEnum = this.enumerateChildren();
++ while (myEnum.hasMoreElements()) {
++ XMLElement child = (XMLElement) myEnum.nextElement();
+ child.write(writer);
+ }
+ writer.write('<'); writer.write('/');