ServerSettings.Title=Server settings
ServerSettings.Tomcat_Port=Tomcat Port Number:
ServerSettings.Servlet=Servlet:
ServerSettings.Auto_Start=Enter Digital library automatically
ServerSettings.OK=OK
ServerSettings.Cancel=Cancel

ServerControl.Start=Enter Library
ServerControl.Restart=Restart Library
ServerControl.Version=Version {0}
ServerControl.Frame_Title=Greenstone Server
ServerControl.Title=Greenstone Digital Library
ServerControl.Help_Restart=Press the 'Restart Library' button to restart the server, launch a browser and enter the library
ServerControl.Help_Start=Press the 'Enter Library' button to start the server, launch a browser and enter the library
ServerControl.Starting=Starting...
ServerControl.Menu.File=File
ServerControl.Menu.Settings=Settings...
ServerControl.Menu.Exit=Exit

greenstone.version=Version 3.2