pluginName=Eclipse Virgo IDE (Server Core)
providerName=Eclipse.org - Virgo

launchVirgo.label=Virgo Web Server
launchDelegateVirgo.name=Virgo Web Server Launcher
launchDelegateVirgo.description=Launches an instance of the Virgo Web Server

virgoVendor=EclipseRT

virgoRuntimeName=Virgo Runtime
virgoRuntimeDescription=Defines an installation of a Virgo Web Server or Kernel.

virgoServerName=Virgo Runtime
virgoServerDescription=Publishes and manages configurations for a Virgo Web Server or Kernel.