Thank a lot for the suggested workaround, Berdir! The workaround solved my problems for the installation of Jedit.
Thank a lot for the suggested workaround, Berdir!
The workaround solved my problems for the installation of Jedit.