String extensionId = (String) source .getProperty( IOdaExtendableElementModel.EXTENSION_ID_PROP );
String extensionId = (String) source.getProperty( sourceModule, IOdaExtendableElementModel.EXTENSION_ID_PROP );
	private static void duplicateExtensionIdentifier(			DesignElementHandle source, DesignElementHandle destination )	{		// for the special oda cases, the extension id must be set before		// copy properties. Otherwise, destination cannot find its ODA		// properties.		if ( source.getElement( ) instanceof IOdaExtendableElementModel )		{			String extensionId = (String) source					.getProperty( IOdaExtendableElementModel.EXTENSION_ID_PROP );			destination.getElement( ).setProperty(					IOdaExtendableElementModel.EXTENSION_ID_PROP, extensionId );		}		else		if ( source.getElement( ) instanceof IExtendedItemModel )		{			String extensionId = (String) source					.getProperty( IExtendedItemModel.EXTENSION_NAME_PROP );			destination.getElement( ).setProperty(					IExtendedItemModel.EXTENSION_NAME_PROP, extensionId );		}		else		{			assert false;		}	}