IExtensionPoint pointOld = registry.getExtensionPoint(IPreferencesConstants.RUNTIME_NAME, org.eclipse.core.runtime.Preferences.PT_PREFERENCES);
IExtensionPoint pointOld = registry.getExtensionPoint(IPreferencesConstants.RUNTIME_NAME, IPreferencesConstants.PT_PREFERENCES);
	public static IExtension[] getPrefExtensions() {		IExtensionRegistry registry = RegistryFactory.getRegistry();		IExtension[] extensionsOld = emptyExtensionArray;		IExtension[] extensionsNew = emptyExtensionArray;		// "old"		IExtensionPoint pointOld = registry.getExtensionPoint(IPreferencesConstants.RUNTIME_NAME, org.eclipse.core.runtime.Preferences.PT_PREFERENCES);		if (pointOld != null)			extensionsOld = pointOld.getExtensions();		// "new"		IExtensionPoint pointNew = registry.getExtensionPoint(IPreferencesConstants.PREFERS_NAME, org.eclipse.core.runtime.Preferences.PT_PREFERENCES);		if (pointNew != null)			extensionsNew = pointNew.getExtensions();		// combine		IExtension[] extensions = new IExtension[extensionsOld.length + extensionsNew.length];		System.arraycopy(extensionsOld, 0, extensions, 0, extensionsOld.length);		System.arraycopy(extensionsNew, 0, extensions, extensionsOld.length, extensionsNew.length);		if (extensions.length == 0) {			if (EclipsePreferences.DEBUG_PREFERENCE_GENERAL)				PrefsMessages.message("No extensions for org.eclipse.core.contenttype."); //$NON-NLS-1$		}		return extensions;	}