IDE components for the Virgo server. The Eclipse Virgo Tools, including documentation.