diff options
Diffstat (limited to 'dev-java/flute/files/1.3-rename-enum.patch')
-rw-r--r-- | dev-java/flute/files/1.3-rename-enum.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dev-java/flute/files/1.3-rename-enum.patch b/dev-java/flute/files/1.3-rename-enum.patch new file mode 100644 index 000000000000..03e251a02f9c --- /dev/null +++ b/dev-java/flute/files/1.3-rename-enum.patch @@ -0,0 +1,15 @@ +diff --git a/flute-1.3/org/w3c/flute/parser/Parser.java b/flute-1.3/org/w3c/flute/parser/Parser.java +index 3048834..55fec8b 100644 +--- a/flute-1.3/org/w3c/flute/parser/Parser.java ++++ b/flute-1.3/org/w3c/flute/parser/Parser.java +@@ -3497,8 +3497,8 @@ Token language; + jj_expentry[i] = jj_lasttokens[i]; + } + boolean exists = false; +- for (java.util.Enumeration enum = jj_expentries.elements(); enum.hasMoreElements();) { +- int[] oldentry = (int[])(enum.nextElement()); ++ for (java.util.Enumeration enumeration = jj_expentries.elements(); enumeration.hasMoreElements();) { ++ int[] oldentry = (int[])(enumeration.nextElement()); + if (oldentry.length == jj_expentry.length) { + exists = true; + for (int i = 0; i < jj_expentry.length; i++) { |