Index: gnu/kawa/xml/XmlNamespace.java =================================================================== --- gnu/kawa/xml/XmlNamespace.java (revision 5980) +++ gnu/kawa/xml/XmlNamespace.java (working copy) @@ -28,6 +28,11 @@ } } + public static XmlNamespace make(String prefix, String name) // Needed for Literals. + { + return getInstance(prefix, name); + } + public Object get (String name) { ElementType type = ElementType.make(getSymbol(name));