Bug#582034: jedit: jEdit fails when trying to install plugins in /usr

[Damien Raude-Morvan]

Package: jedit
Version: 4.3.1+dfsg-1
Severity: normal

Hi,

When trying to install global system plugin in jEdit, I got :
=> java.io.FileNotFoundException: /usr/share/jedit/jars/Console.jar (No such file or directory)

---- Steps to reproduce :
#1 Activate "global system plugin" mode by :
Utilities > Global options > Plugin Manager
=> Option "Install plugins in... jEdit application directory"

#2 Go to :
Plugin > Plugin Manager
Install tab
Check a plugin and then click in Install button

----- Expected behavior :
jEdit Debian package should force user to install plugins
in its $HOME directory (remove choice from Global options ?).

Cheers,

-- System Information:
Debian Release: squeeze/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (200, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-5-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages jedit depends on:
ii  java-wrappers                 0.1.16     wrappers for java executables
ii  openjdk-6-jre                 6b18-1.8-2 OpenJDK Java runtime, using Hotspo
ii  sun-java6-jre                 6.20-dlj-1 Sun Java(TM) Runtime Environment (

jedit recommends no packages.

jedit suggests no packages.

-- no debconf information