#1748 updater plugin and proxy

[dzebrys]

it seems updater plugin is not using proxy set in general preferences.

i'm able to fetch plugins updates [-> prooves jedit using proxy] but no luck with
jedit daily update.

i'm using:
jEdit 5.1pre1
updater 0.3

br/piotr

[dzebrys]

i've verified proxy connection in jedit using InfoViewer plugin.
when submitted link below in it the file is opened without problem.

http://www.tellurianring.com/projects/jedit-daily/jEdit/2013-11-04_15-35-47/jedit5.2pre1install.jar