/src/main/java/org/htmlunit/html/DomElement.java
namespaces_.put( attributeValue) ;
namespaces_.put ( namespaceURI, newAttr.getPrefix ( ) ) ;
newAttr.setParentNode(this); attributes_.put(qualifiedName, newAttr); if (namespaceURI != null) { if (namespaces_ == null) { namespaces_ = new FastHashMap<>(1, 0.5f); } <extra_id_0> } } protected boolean isAttributeCaseSensitive() { return true; } @Override