--- gnujaxp-1.0beta1/source/gnu/xml/aelfred2/XmlParser.java 2001-11-21 03:28:46.000000000 +0100 +++ gnujaxp-1.0beta1/source/gnu/xml/aelfred2/XmlParser.java-gil 2009-06-26 13:21:33.000000000 +0200 @@ -1452,7 +1452,7 @@ { String name; String type; - String enum = null; + String mune = null; // Read the attribute name. name = readNmtoken (true); @@ -1463,11 +1463,11 @@ // Get the string of enumerated values if necessary. if ("ENUMERATION" == type || "NOTATION" == type) - enum = dataBufferToString (); + mune = dataBufferToString (); // Read the default value. requireWhitespace (); - parseDefault (elementName, name, type, enum); + parseDefault (elementName, name, type, mune); } @@ -1564,7 +1564,7 @@ String elementName, String name, String type, - String enum + String mune ) throws Exception { int valueType = ATTRIBUTE_DEFAULT_SPECIFIED; @@ -1602,11 +1602,11 @@ } else value = readLiteral (flags); expandPE = saved; - setAttribute (elementName, name, type, enum, value, valueType); + setAttribute (elementName, name, type, mune, value, valueType); if ("ENUMERATION" == type) - type = enum; + type = mune; else if ("NOTATION" == type) - type = "NOTATION " + enum; + type = "NOTATION " + mune; if (!skippedPE) handler.getDeclHandler () .attributeDecl (elementName, name, type, defaultType, value); }