D | ExtensionNamespacesManager.java | 212 String lang = "javapackage"; in setPredefinedNamespaces() local 215 new Object[]{uri, lang, lib})); in setPredefinedNamespaces() 219 new Object[]{uri, lang, lib})); in setPredefinedNamespaces() 223 new Object[]{uri, lang, lib})); in setPredefinedNamespaces() 227 lang = "javaclass"; // for remaining predefined extension namespaces. in setPredefinedNamespaces() 230 new Object[]{uri, lang, lib})); in setPredefinedNamespaces() 234 new Object[]{uri, lang, lib})); in setPredefinedNamespaces() 240 new Object[]{uri, lang, lib})); in setPredefinedNamespaces() 245 new Object[]{uri, lang, lib})); in setPredefinedNamespaces() 250 new Object[]{uri, lang, lib})); in setPredefinedNamespaces() [all …]
|