--- src/java/com/ctc/wstx/sr/InputElementStack.java~ 2013-04-16 23:24:26.000000000 +0200
+++ src/java/com/ctc/wstx/sr/InputElementStack.java 2013-06-20 14:03:54.950052611 +0200
@@ -843,9 +843,13 @@
* element.
*/
public int addDefaultAttribute(String localName, String uri, String prefix,
- String value) throws XMLStreamException
+ String value)
{
- return mAttrCollector.addDefaultAttribute(localName, uri, prefix, value);
+ try {
+ return mAttrCollector.addDefaultAttribute(localName, uri, prefix, value);
+ } catch (XMLStreamException e) {
+ throw new RuntimeException(e);
+ }
}
/*