org.eclipse.jst.server.jetty.core/src/org/eclipse/jst/server/jetty/core/internal/Messages.properties

###############################################################################
# Copyright (c) 2010 Angelo Zerr and others.
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v1.0
# which accompanies this distribution, and is available at
# http://www.eclipse.org/legal/epl-v10.html
#
# Contributors:
#     Angelo Zerr <angelo.zerr@gmail.com> - Initial API and implementation 
###############################################################################

# --------------- Tasks (progress monitors) ---------------
savingTask=Saving...
loadingTask=Loading.
errorPublish=Publishing failed with multiple errors
publishConfigurationTask=Publishing the configuration...
publishServerTask=Publishing to server...
publisherPublishTask=Publishing {0}...

copyingTask=Copying from {0} to {1}
errorCopyingFile=Error copying file to {0}: {1}

# Editor commands (used in undo/redo menus)
configurationEditorActionAddWebModule=Web Module Addition
configurationEditorActionModifyWebModule=Web Module Change
configurationEditorActionRemoveWebModule=Web Module Removal
configurationEditorActionModifyPort=Port Number Change

# --------------- General ---------------
portServer=Jetty admin port

# --------------- Errors and Info ---------------
errorVersionEmpty=The Jetty version must be specified.
errorUnknownVersion=Unknown version of Jetty was specified.
errorInstallDirEmpty=The Jetty installation directory may not be empty.
errorInstallDirWrongVersion=The name of the Jetty installation directory indicates it is for different version of Jetty.
errorInstallDirWrongVersion2=The Jetty installation at this directory is version {0}.  A Jetty {1} installation is expected.
errorInstallDirDoesNotExist=The specified Jetty installation directory does not exist.
startJarRequiredInstallDirStatus=The specified Jetty installation doesn't include start.jar.
 
errorPortInvalid=The server cannot be started because one or more of the ports are invalid. Open the server editor and correct the invalid ports.
errorPortInUse=Port {0} required by {1} is already in use. The server may already be running in another process, or a system process may be using the port. \
  To start this server you will need to stop the other process or change the port number(s).
errorPortsInUse=Several ports ({0}) required by {1} are already in use. The server may already be running in another process, or a system process may be using the port. \
  To start this server you will need to stop the other process or change the port number(s).
  
errorNoConfiguration=The Jetty server configuration at {0} is missing. Check the server for errors.
errorWebModulesOnly=Jetty only supports running J2EE Web modules.
errorSpec70=Jetty version 7.0 only supports J2EE 1.2, 1.3, 1.4, and Java EE 5 Web modules
errorConfigurationProjectClosed=Could not load the Jetty server configuration at {0}. The {1} project is closed.
errorCouldNotLoadConfiguration=Could not load the Jetty server configuration at {0}. The configuration may be corrupt or incomplete.
errorCouldNotSaveConfiguration=Could not save the Jetty server configuration: {0}.
errorPublishConfiguration=Could not publish server configuration: {0}.
errorNoRuntime=Cannot add modules because there is no runtime associated with the server.

errorDuplicateContextRoot=Two or more Web modules defined in the configuration have the same context root ({0}). \
  To start this server you will need to remove the duplicate(s).
errorXMLNullContextArg=Context argument may not be null.  
errorInstallDirTrailingSlash=The Jetty installation directory should not have a trailing slash.
errorJRE=The JRE could not be found. Edit the server and change the JRE location.
errorPublishCouldNotRemoveModule=Could not remove module {0}.