From: "Enrico Weigelt, metux IT consult" <enrico.weig...@gr13.net>
---
src/net/sf/freecol/common/io/FreeColXMLReader.java | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/src/net/sf/freecol/common/io/FreeColXMLReader.java
b/src/net/sf/freecol/common/io/FreeColXMLReader.java
index 68cd9f02f02..bbab3de2ac4 100644
--- a/src/net/sf/freecol/common/io/FreeColXMLReader.java
+++ b/src/net/sf/freecol/common/io/FreeColXMLReader.java
@@ -364,7 +364,15 @@ public class FreeColXMLReader extends StreamReaderDelegate
public void closeTag(String tag, String... others) throws
XMLStreamException {
for (int next = nextTag(); next != XMLStreamConstants.END_ELEMENT;
next = nextTag()) {
- String at = find(others, s -> atTag(s));
+
+ String at = null;
+ for (String str : others) {
+ if (atTag(str)) {
+ at = str;
+ break;
+ }
+ }
+
if (at == null) {
throw new XMLStreamException("Parse error, END_ELEMENT(" + tag
+ " or alternatives) expected, not: " + getLocalName());
--
2.11.0.rc0.7.gbe5a750
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
Freecol-developers mailing list
Freecol-developers@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/freecol-developers
