819820821822823824825826827828829
{ String prefix = node.getPrefix(); if( prefix == null || prefix.length() == 0 ) prefix = "ns" + nsCnt++ ; while( !nsMap.containsKey( namespaceURI ) && nsMap.containsValue( prefix ) ) { prefix = "ns" + nsCnt++ ; } nsMap.put( namespaceURI, prefix );
862863864865866867868869870871872
698699700701702703704705706707708
} else { if (normalize || prefix == null || prefix.length() == 0) { prefix = "ns" + nsCnt++; } while (!nsMap.containsKey(namespaceURI) && nsMap.containsValue(prefix)) { prefix = "ns" + nsCnt++; } nsMap.put(namespaceURI, prefix); }
739740741742743744745746747748749
String prefix = node.getPrefix(); if (normalize || prefix == null || prefix.length() == 0) { prefix = "ns" + nsCnt++; } while (!nsMap.containsKey(namespaceURI) && nsMap.containsValue(prefix)) { prefix = "ns" + nsCnt++; } nsMap.put(namespaceURI, prefix); pc = prefix + ":" + node.getLocalName();