IExtensionPoint extensionPoint = Platform.getPluginRegistry().getExtensionPoint(JavaUI.ID_PLUGIN, ATT_EXTENSION);
IExtensionPoint extensionPoint = Platform.getExtensionRegistry().getExtensionPoint(JavaUI.ID_PLUGIN, ATT_EXTENSION);
	public static ClasspathContainerDescriptor[] getDescriptors() {		ArrayList containers= new ArrayList();				IExtensionPoint extensionPoint = Platform.getPluginRegistry().getExtensionPoint(JavaUI.ID_PLUGIN, ATT_EXTENSION);		if (extensionPoint != null) {			ClasspathContainerDescriptor defaultPage= null;			String defaultPageName= ClasspathContainerDefaultPage.class.getName();						IConfigurationElement[] elements = extensionPoint.getConfigurationElements();			for (int i = 0; i < elements.length; i++) {				try {					ClasspathContainerDescriptor curr= new ClasspathContainerDescriptor(elements[i]);										if (defaultPageName.equals(curr.getPageClass())) {						defaultPage= curr;					} else {						containers.add(curr);					}				} catch (CoreException e) {					JavaPlugin.log(e);				}			}			if (defaultPageName != null && containers.isEmpty()) {				// default page only added of no other extensions found				containers.add(defaultPage);			}		}		return (ClasspathContainerDescriptor[]) containers.toArray(new ClasspathContainerDescriptor[containers.size()]);	}