w.write(tagName); } else { prefix = m.getPrefixForElement(ns); if (prefix == null) { prefix = m.getNewPrefix();
w.write(tagName); } else { prefix = m.getPrefixForElement(ns); if (prefix == null) { prefix = m.getNewPrefix();
w.write(tagName); } else { prefix = m.getPrefixForElement(ns); if (prefix == null) { prefix = m.getNewPrefix();