extensionProvidersPanel.setBorder(BorderFactory.createTitledBorder("Installed Extension Providers")); providers = new Vector<>(); for (Object provider : ProviderManager.getExtensionProviders()) { if (provider.getClass() == Class.class) { providers.add(((Class<?>) provider).getName());
extensionProvidersPanel.setBorder(BorderFactory.createTitledBorder("Installed Extension Providers")); providers = new Vector(); for (Iterator it = ProviderManager.getExtensionProviders(); it.hasNext();) { Object provider = it.next(); if (provider.getClass() == Class.class) {
extensionProvidersPanel.setBorder(BorderFactory.createTitledBorder("Installed Extension Providers")); providers = new Vector<String>(); for (Object provider : ProviderManager.getInstance().getExtensionProviders()) { if (provider.getClass() == Class.class) { providers.add(((Class) provider).getName());
provider = ProviderManager.getExtensionProvider(elementName, namespace); ProviderManager.getExtensionProviders();