package com.sysdeo.eclipse.tomcat;
/*
* (c) Copyright Sysdeo SA 2001, 2002.
* All Rights Reserved.
*/
public interface TomcatPluginResources {
static final String WIZARD_PROJECT_TITLE =
TomcatLauncherPlugin.getResourceString("wizard.project.title");
static final String PREF_PAGE_SELECTALL_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.selectAll.label");
static final String PREF_PAGE_UNSELECTALL_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.unselectAll.label");
static final String PREF_PAGE_PROJECTINCP_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.projectsInCp.label");
static final String PREF_PAGE_PROJECTINSOURCEPATH_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.projectsInSourcePath.label");
static final String PREF_PAGE_COMPUTESOURCEPATH_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.computeSourcePath.label");
static final String PREF_PAGE_JVMSETTINGS_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.jvmSettings.label");
static final String PREF_PAGE_PARAMETERS_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.parameters.label");
static final String PREF_PAGE_DUMP_CONFIG_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.dumpConfig.label");
static final String PREF_PAGE_CREATE_LAUNCH_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.createLaunch.label");
static final String PREF_PAGE_JRE_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.jre.label");
static final String PREF_PAGE_CLASSPATH_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.classpath.label");
static final String PREF_PAGE_BOOTCLASSPATH_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.bootclasspath.label");
static final String PREF_PAGE_CHOOSEVERSION_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.chooseversion.label");
static final String PREF_PAGE_VERSION3_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.version3.label");
static final String PREF_PAGE_VERSION4_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.version4.label");
static final String PREF_PAGE_VERSION4_1_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.version41.label");
static final String PREF_PAGE_VERSION5_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.version5.label");
static final String PREF_PAGE_VERSION6_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.version6.label");
static final String PREF_PAGE_VERSION7_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.version7.label");
static final String PREF_PAGE_HOME_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.home.label");
static final String PREF_PAGE_BASE_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.base.label");
static final String PREF_PAGE_CONFIGFILE_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.configFile.label");
static final String PREF_PAGE_DEBUGMODE_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.debugMode.label");
static final String PREF_PAGE_TARGETPERSPECTIVE_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.targetPerspective.label");
static final String PREF_PAGE_SECURITYMANAGER_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.securityManager.label");
static final String PREF_PAGE_NONE_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.none.label");
static final String WIZARD_PROJECT_UPDATEXML_LABEL =
TomcatLauncherPlugin.getResourceString("wizard.project.updatexml.label");
static final String WIZARD_PROJECT_EXPORTSOURCE_LABEL =
TomcatLauncherPlugin.getResourceString("wizard.project.exportSource.label");
static final String WIZARD_PROJECT_RELOADABLE_LABEL =
TomcatLauncherPlugin.getResourceString("wizard.project.reloadable.label");
static final String WIZARD_PROJECT_REDIRECTLOGGER_LABEL =
TomcatLauncherPlugin.getResourceString("wizard.project.redirectLogger.label");
static final String WIZARD_PROJECT_WEBPATH_LABEL =
TomcatLauncherPlugin.getResourceString("wizard.project.webpath.label");
static final String WIZARD_PROJECT_ROOTDIR_LABEL =
TomcatLauncherPlugin.getResourceString("wizard.project.rootdir.label");
static final String WIZARD_PROJECT_WARLOCATION_LABEL =
TomcatLauncherPlugin.getResourceString("wizard.project.warLocation.label");
static final String PROPERTIES_PAGE_PROJECT_ISTOMCATPROJECT_LABEL =
TomcatLauncherPlugin.getResourceString("properties.page.project.isTomcatProject.label");
static final String WIZARD_PROJECT_MAINPAGE_TITLE =
TomcatLauncherPlugin.getResourceString("wizard.project.mainPage.title");
static final String WIZARD_PROJECT_MAINPAGE_DESCRIPTION =
TomcatLauncherPlugin.getResourceString("wizard.project.mainPage.description");
static final String WIZARD_PROJECT_TOMCATPAGE_TITLE =
TomcatLauncherPlugin.getResourceString("wizard.project.tomcatPage.title");
static final String WIZARD_PROJECT_TOMCATPAGE_DESCRIPTION =
TomcatLauncherPlugin.getResourceString("wizard.project.tomcatPage.description");
static final String PREF_PAGE_ADDBUTTON_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.addButton.label");
static final String PREF_PAGE_ADDDIRBUTTON_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.addDirButton.label");
static final String PREF_PAGE_ADDJARZIPBUTTON_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.addJarZipButton.label");
static final String PREF_PAGE_REMOVEBUTTON_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.removeButton.label");
static final String PREF_PAGE_UPDATEBUTTON_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.updateButton.label");
static final String PREF_PAGE_UPBUTTON_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.upButton.label");
static final String PREF_PAGE_DOWNBUTTON_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.downButton.label");
static final String WIZARD_PROJECT_REMOVE_TITLE =
TomcatLauncherPlugin.getResourceString("wizard.project.remove.title");
static final String WIZARD_PROJECT_REMOVE_DESCRIPTION =
TomcatLauncherPlugin.getResourceString("wizard.project.remove.description");
static final String BROWSE_BUTTON_LABEL =
TomcatLauncherPlugin.getResourceString("browse.button.label");
static final String PROPERTIES_PAGE_PROJECT_DEVLOADER_TAB_LABEL =
TomcatLauncherPlugin.getResourceString("properties.page.project.devloader.tab.label");
static final String PROPERTIES_PAGE_PROJECT_WAR_TAB_LABEL =
TomcatLauncherPlugin.getResourceString("properties.page.project.war.tab.label");
static final String PROPERTIES_PAGE_PROJECT_GENERAL_TAB_LABEL =
TomcatLauncherPlugin.getResourceString("properties.page.project.general.tab.label");
static final String PROPERTIES_PAGE_PROJECT_ACTIVATE_DEVLOADER_LABEL =
TomcatLauncherPlugin.getResourceString("properties.page.project.activate.devloader.label");
static final String PROPERTIES_PAGE_PROJECT_EXTRAINFO_LABEL =
TomcatLauncherPlugin.getResourceString("properties.page.project.extrainfo.label");
static final String PREF_PAGE_LIST_SEPARATOR =
TomcatLauncherPlugin.getResourceString("pref.page.list.separator");
static final String PROJECT_WAREXPORT_EXCLUDE_DIRECTORIES =
TomcatLauncherPlugin.getResourceString("project.warExport.exclude.directories");
static final String PROJECT_WAREXPORT_EXCLUDE_FILES =
TomcatLauncherPlugin.getResourceString("project.warExport.exclude.files");
static final String PREF_PAGE_MANAGER_BANNER =
TomcatLauncherPlugin.getResourceString("pref.page.manager.banner");
static final String PREF_PAGE_MANAGER_URL =
TomcatLauncherPlugin.getResourceString("pref.page.manager.url");
static final String PREF_PAGE_MANAGER_USER =
TomcatLauncherPlugin.getResourceString("pref.page.manager.user");
static final String PREF_PAGE_MANAGER_PASSWORD =
TomcatLauncherPlugin.getResourceString("pref.page.manager.password");
static final String PREF_PAGE_MANAGER_ADDUSER =
TomcatLauncherPlugin.getResourceString("pref.page.manager.adduser");
static final String PREF_PAGE_CHOOSECONFMODE_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.chooseconfmode.label");
static final String PREF_PAGE_SERVERXML_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.serverxml.label");
static final String PREF_PAGE_CONTEXTFILES_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.contextfiles.label");
static final String PREF_PAGE_CONTEXTSDIR_LABEL =
TomcatLauncherPlugin.getResourceString("pref.page.contextsdir.label");
}