Searched refs:m_unregisteredExtensions (Results 1 – 1 of 1) sorted by relevance
48 private Vector m_unregisteredExtensions = new Vector(); field in ExtensionNamespacesManager77 else if (!(m_unregisteredExtensions.contains(namespace))) in registerExtension()78 m_unregisteredExtensions.add(namespace); in registerExtension()93 if (m_unregisteredExtensions.contains(namespace)) in registerExtension()94 m_unregisteredExtensions.remove(namespace); in registerExtension()129 for (int i = 0; i < m_unregisteredExtensions.size(); i++) in registerUnregisteredNamespaces()131 String ns = (String)m_unregisteredExtensions.get(i); in registerUnregisteredNamespaces()