element.setProperty( OdaDataSet.EXTENSION_ID_PROP, extensionID );
	public OdaDataSetHandle newOdaDataSet( String name, String extensionID )	{		if ( extensionID != null )		{			if ( ODAManifestUtil.getDataSetExtension( extensionID ) == null )				return null;		}		OdaDataSet element = new OdaDataSet( name );		module.makeUniqueName( element );		element.setProperty( OdaDataSet.EXTENSION_ID_PROP, extensionID );		return element.handle( module );	}