throw new ExtensionException(
{ handleError( new ExtensionException(
	void doLoad( ) throws ExtensionException, MetaDataException	{		IExtensionRegistry pluginRegistry = Platform.getExtensionRegistry( );		if ( pluginRegistry == null )		{			throw new ExtensionException(					new String[]{extensionPointer},					ExtensionException.DESIGN_EXCEPTION_EXTENSION_POINT_NOT_FOUND );		}		IExtensionPoint extensionPoint = pluginRegistry				.getExtensionPoint( extensionPointer );		if ( extensionPoint == null )			throw new ExtensionException(					new String[]{extensionPointer},					ExtensionException.DESIGN_EXCEPTION_EXTENSION_POINT_NOT_FOUND );		IExtension[] extensions = extensionPoint.getExtensions( );		if ( extensions != null )		{			for ( int i = 0; i < extensions.length; i++ )			{				loadExtension( extensions[i] );			}		}	}