element.setProperty( OdaDataSource.EXTENSION_ID_PROP, extensionID );
	public OdaDataSourceHandle newOdaDataSource( String name, String extensionID )	{		if ( extensionID != null )		{			if ( ODAProviderFactory.getInstance( ).createODAProvider( null,					extensionID ) == null )				return null;			if ( !ODAProviderFactory.getInstance( ).createODAProvider( null,					extensionID ).isValidODADataSourceExtensionID( extensionID ) )				return null;		}		OdaDataSource element = new OdaDataSource( name );		module.makeUniqueName( element );		element.setProperty( OdaDataSource.EXTENSION_ID_PROP, extensionID );		return element.handle( module );	}