| 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. | |