# Plugin properties
plugin.FirewallPlugin.name=Firewall
plugin.FirewallPlugin.author=Dirk Moebius
plugin.FirewallPlugin.version=0.2.3
plugin.FirewallPlugin.docs=index.html

plugin.FirewallPlugin.depend.0=jdk 1.2
plugin.FirewallPlugin.depend.1=jedit 02.06.01.00

# Default firewall properties
firewall.enabled=false

# Option pane properties
options.firewall.label=Proxy/Firewall
options.firewall.enabled=Enable Proxy/Firewall authentication
options.firewall.host=Host:\ 
options.firewall.port=Port:\ 
options.firewall.user=Username:\ 
options.firewall.password=Password:\ 
options.firewall.nonProxy=No proxy for:\ 

# Error messages
firewall.error.ioerror.title=I/O Error
firewall.error.ioerror.message=\
    An I/O Error occurred opening the URL\n\
    {0} :\n\n\
    {1}