Bug#606662: jedit: Improve find_java_runtime in startup script (prefer sun6)

[Daniel Hahler]

Package: jedit
Version: 4.3.2+dfsg-3
Severity: wishlist

I am basically forwarding a bug reported at Launchpad for Ubuntu
(https://bugs.launchpad.net/ubuntu/+source/jedit/+bug/681936)

-----------------------------------------------------------------------
jEdit 4.3 recommends Sun's JDK 1.5.0 or later and hasn't been tested on
other JVM's (see http://www.jedit.org/index.php?page=compatibility ).
But the jedit.sh shell script uses open jdk even if sun java is
installed and made the default jvm.

This is because it uses java-wrappers and picks the jvm via
"find_java_runtime java6". Also, it wouldn't try to start jEdit if only
java 5 were found, would it?

Maybe the relevant line should be changed to something like:

find_java_runtime sun6 sun5 java6 java5
-----------------------------------------------------------------------

In my opinion we should use "sun6 java6 sun5 java5", if we want to
include java 5 here at all.