hi all,

i just installed jedit using jedit4.5pre1install.jar

when i run 'update mirror list' in the plugin manager i get lots of erros stating with - see below.
(i had the same problem with jedit 4.2)

it makes no difference wether i turn the http proxy on or off. the proxy works fine for my firefox.

any pointers?
need more info (like OS/version/etc)?

18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: java.net.NoRouteToHostException: No route to host
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at java.net.PlainSocketImpl.socketConnect(Native Method)
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at java.net.PlainSocketImpl.doConnect(PlainSocketImpl.java:333)
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at java.net.PlainSocketImpl.connectToAddress(PlainSocketImpl.java:195)
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at java.net.PlainSocketImpl.connect(PlainSocketImpl.java:182)
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at java.net.SocksSocketImpl.connect(SocksSocketImpl.java:366)
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at java.net.Socket.connect(Socket.java:529)
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at java.net.Socket.connect(Socket.java:478)
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at sun.net.NetworkClient.doConnect(NetworkClient.java:163)
18:46:07 [jEdit Worker #1] [error] PluginManagerOptionPane$UpdateMirrorsThread: at sun.net.www.http.HttpClient.openServer(HttpClient.java:394)