SDK Setup Help, Virgo Server setup

I'm trying to install the vSphere Web Client SDK, version 5.5 on Windows.  I'm following the steps in teh SDK-setup.html document.

Step 4 is the Virgo Server setup.  I've tried adding the repository for the Virgo IDE (http://dist.springsource.com/release/TOOLS/virgo-ide), but even though Eclipse gets a list of items, it fails when I select 'Eclipse Virgo Tools' and click Next. 

The error details:

"Cannot complete the install because one or more required items could not be found.  Software being installed: Eclipse Virgo Tools 1.0.0.201207122033-MILESTONE"

I assume I need Virgo tools to run the Virgo web server, so I'm stuck at this point.  Ideas?