From 4f2d7949f03e1c198bc888f2d05f421d35c57e21 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 9 Oct 2017 18:53:29 +0100 Subject: reinit the tree, so we can have metadata --- .../laf-plugin/files/laf-plugin-0.2-enum.patch | 42 ++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 dev-java/laf-plugin/files/laf-plugin-0.2-enum.patch (limited to 'dev-java/laf-plugin/files/laf-plugin-0.2-enum.patch') diff --git a/dev-java/laf-plugin/files/laf-plugin-0.2-enum.patch b/dev-java/laf-plugin/files/laf-plugin-0.2-enum.patch new file mode 100644 index 000000000000..35d818ead30a --- /dev/null +++ b/dev-java/laf-plugin/files/laf-plugin-0.2-enum.patch @@ -0,0 +1,42 @@ +--- a/src/org/jvnet/lafplugin/XMLElement.java 2017-03-24 19:08:40.320048066 +0000 ++++ b/src/org/jvnet/lafplugin/XMLElement.java 2017-03-24 19:10:18.490049991 +0000 +@@ -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('/'); -- cgit v1.2.3