[ jEdit-users ] problem downloading plugins through plugin manager

[Craig W <cod...@gm...>]

anyone have trouble getting plugins with jedit 4.3 pre5 using the plugin
manager?  i got a 403 error when trying to get AntFarm...it looks like the
URL jedit tried to access on sourceforge is not the same as when u go to the
jedit plugins page and click on the download link.

thanks