/**
* Find out if the given "extension-element-prefix" property is defined.
*
* @see <a href="http://www.w3.org/TR/xslt#extension-element">extension-element in XSLT
* Specification</a>
* @param uri The URI to find
* @return True if the given URI is found
*/
public boolean containsExtensionElementURI(String uri) {
if (null == m_ExtensionElementURIs) return false;
return m_ExtensionElementURIs.contains(uri);
}
