I cannot get jEdit to install the XML plugin. I have been able to install other plugins as recently as yesterday. The download manager shows the XML plugin, I check its box and click "install". A window opens with a progress bar, which progresses to 100%, and then I get an error message: "Error while downloading the plugin, please try another mirror". I've tried about a dozen mirror with no success. I've tried using wide-open permissions on the jEdit home and settings directories - no difference. I've tried installing the plugin in the settings and application directory. I've even tried to install it manually. So far, no luck. I'd really like to get the XML plugin working, can anyone offer me any pointers? Is there a log file I can check?

Thanks and best regards,

Mike