Re: Java, was: etf2ly

[Ole Hesprich]

 address@hidden wrote:

> The PluginManager was not able to download/install the files.

If you install jEdit for the first time, you have to go to
Utilities / Global Options / jEdit-Plugin Manager and press the
button "Update Mirror List". Than chose one of the mirrors and
press "Apply".

After that step you can use the Plugin Manager as expected.

But: I noticed several times that the primary server was not
available, so the mirrorlist could not be updated. In that case
you have to wait some time until the server is online again and
try it again.

Ole