label.no_proxy = No proxy servers
label.system_proxy = System proxy servers (http={0}; https={1})
label.use_proxy_server = Use these proxy servers
+label.auth_required = Authentication required
+label.username = Username
+label.password = Password
+label.proxy_password_required = Proxy password required
+label.not_stored = not stored in Preferences file
label.rendering_style = {0} rendering style
label.append_start_end = Append /start-end (/15-380)
label.full_sequence_id = Full Sequence Id
label.details = Details
label.options = Options
label.parameters = Parameters
-label.proxy_server = Proxy Server
+label.proxy_servers = Proxy Servers
label.file_output = File Output
label.select_input_type = Select input type
label.set_options_for_type = Set options for type