diff options
Diffstat (limited to 'plugins/org.eclipse.jst.servlet.ui/property_files/web_ui.properties')
-rw-r--r-- | plugins/org.eclipse.jst.servlet.ui/property_files/web_ui.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/org.eclipse.jst.servlet.ui/property_files/web_ui.properties b/plugins/org.eclipse.jst.servlet.ui/property_files/web_ui.properties index 4bc6d6a42..524a2af57 100644 --- a/plugins/org.eclipse.jst.servlet.ui/property_files/web_ui.properties +++ b/plugins/org.eclipse.jst.servlet.ui/property_files/web_ui.properties @@ -56,6 +56,7 @@ INIT_PARAM_TITLE=Initialization Parameters INIT_PARAM_LABEL=Initialization ¶meters: URL_MAPPINGS_TITLE=URL Mappings URL_MAPPINGS_LABEL=&URL mappings: +ASYNC_SUPPORT_LABEL = As&ynchronous Support CHOOSE_SERVLET_CLASS=&Choose a JSP file: NEW_SERVLET_WIZARD_WINDOW_TITLE=New Servlet |